Stop having "make doxygen" build latex/pdf/dvi outputs
Right now, doxygen is set up to build pdf and dvi outputs via latex. But doing this produces a huge 4000-page output that nobody wants. We should have it only build PDF.
Right now, doxygen is set up to build pdf and dvi outputs via latex. But doing this produces a huge 4000-page output that nobody wants. We should have it only build PDF.