User-agent: *
Disallow: /*.html$
Disallow: /pinball/
# prevents old pages that are just redirects from being indexed
# also prevents indexing of the pinball website that is attached to this one