annotate web/robots.txt @ 266:06e140f48543

Revise scripts for building printed Bookes. A lot of stuff was being duplicated between different page size. Consolidate where possible, and in particular put as much into a single source file (dottes.tex) as possible. Making a single Booke is now potentially quicker, as the tune pages don't necessarily have to be regenerate every time.
author Jim Hague <jim.hague@acm.org>
date Wed, 26 Jun 2013 23:37:45 +0100
parents f2c8ca48b8a4
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
222
f2c8ca48b8a4 Add robots.txt instructing the site not to be indexed.
Jim Hague <jim.hague@acm.org>
parents:
diff changeset
1 # Stop indexing of this site.
f2c8ca48b8a4 Add robots.txt instructing the site not to be indexed.
Jim Hague <jim.hague@acm.org>
parents:
diff changeset
2 User-agent: *
f2c8ca48b8a4 Add robots.txt instructing the site not to be indexed.
Jim Hague <jim.hague@acm.org>
parents:
diff changeset
3 Disallow: /