Use the tools/mkdvi.sh script to generate DVI and PDF output for the
library reference now that it's sufficiently capable.
1 file changed