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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information