User-agent: *
Allow: /
Disallow: /menu/
Disallow: /mailinglist/
Disallow: /cgi-bin/
Disallow: /images/
Disallow: /css/
Disallow: /NetPBM/
Disallow: /infocs.php
Disallow: /php.ini
Disallow: /spectrum.html