Add new option to disable reading standard libraries.
[catacomb] / gpl.tex
1999-05-05 mdwInitial revision