projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 47747ba) | 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)
commit691ef658b6d650327b82abf2a346336b176736e9
tree2f6ee8052327c3f1de350d1640fece8899aae8ddtree | snapshot
parent47747baf50a7db012348a4954b97fc161bcacd19commit | 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