projects / pintos-anon / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 691ef65)
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)
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.


No differences found
Pintos public repository