TEXT 00dir.cmd
  HTML 00dir.html
  TEXT 00dir.lst
  TEXT 00tdir.cmd
  HTML 00tdir.html
  TEXT 00tdir.lst
  TEXT index
  HTML index.html
  TEXT institut.bib
   BIN institut.sok
  TEXT journal.bib
   BIN journal.sok
  TEXT mrabbrev.bib
   BIN mrabbrev.sok
  TEXT publish.bib
   BIN publish.sok