/support/makeprog/docu/
../
mkprgdoc.bbl
mkprgdoc.tex
primes.web
web.tex
webmac.tex