TEXT README.md
  TEXT Xerrorlog.tex
  TEXT editorsnote.tex
  TEXT index.md
  TEXT makeall
  TEXT pwebmac.tex
  TEXT trapman.ch
  TEXT webman-changes.ch
  TEXT webman-outlines.ch