docs/*html
docs/*sgml
docs/*dvi
docs/*gif