<?php
	# See .htaccess for the code that makes this specific .txt file get
	# processed by PHP.

	# As this file is parsed by PHP, we need to send a proper Content-type
	# header ourselves.
	header("Content-type: text/plain");

	# If we're on wiktel.org, we want to hide *everything*.
	# On wiktel.com, the settings after this PHP block apply.
	if ($_SERVER["HTTP_HOST"] == "www.wiktel.org" ||
	    $_SERVER["HTTP_HOST"] == "wiktel.org") # in case something changes
	{
		echo "User-agent: *\n";
		echo "Disallow: /";
		exit;
	}

#### MAKE CHANGES IN THE SECTION BELOW ONLY ####
?>
User-agent: *
Disallow: /biz/
Disallow: /com/
Disallow: /greenbush/
Disallow: /images/
Disallow: /thief_river_falls/