TEXT mkprgdoc.bbl
  TEXT mkprgdoc.tex
  TEXT primes.web
  TEXT web.tex
  TEXT webmac.tex