projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b39127) | patch
doc: Use texi2pdf instead of pdftex.
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 26 Apr 2016 15:32:19 +0000 (08:32 -0700)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 26 Apr 2016 15:32:19 +0000 (08:32 -0700)
commit258ac974c5f71fee4e6e2e10c7b26fda6a823d59
treeb03ede9a9d0c9d1800b0a10583263baf8dfd5b54tree | snapshot
parent8b39127d9437709ab55ad1ed7ac4fb65245fc57bcommit | diff
doc: Use texi2pdf instead of pdftex.

This automatically reruns pdftex if necessary, to make sure that references
are correct.

Reported by David Eck <eck@hws.edu>.
doc/Makefile diff | blob | history
Pintos public repository