Added targets dvi, pdf, and ps, to make all of the documents in those formats.
1 file changed