# robots.txt for http://www.dante.de/
User-agent: *		# matches any robot
#
Disallow: /cgi-bin	# deny CGI scripts to be browsed
Disallow: /upload
Disallow: /mirmon

Disallow: /lenya
Disallow: /css
#
#
Disallow: /faq/de-tex-faq
#
Disallow: /CTAN
#
# for more information:
#
# http://www.robotstxt.org/wc/robots.html
#
# -- end of robots.txt --