projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fc991d6) | patch
Make docs compile again
authorJohn Ousterhout <ouster@cs.stanford.edu>
Thu, 17 Dec 2015 23:29:33 +0000 (15:29 -0800)
committerJohn Ousterhout <ouster@cs.stanford.edu>
Fri, 18 Dec 2015 00:15:49 +0000 (16:15 -0800)
commitfc0e6635e360aed52ce5aa419467e44e85712d07
tree52028f074e32cc331d1db7dca8ae3351d487baactree | snapshot
parentfc991d628fcc37ecbd9536c211e59367f3826f1ecommit | diff
Make docs compile again

With newer versions oF packages such as texinfo and Perl, the
documentation no longer compiled. Fixed various issues, and
removed dvi and ps from default output formats, since software
to generate them is becoming less widely available.
doc/Makefile diff | blob | history
doc/standards.texi diff | blob | history
doc/texi2html diff | blob | history
Pintos public repository