# exclude help system from robots
User-agent: *
Disallow:
# but allow htdig to index our doc-tree