projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b54a4c0) | 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)
commitf67973e1cb1ebb06f155f805c423041fc76ec24a
treed8f1d7df6ee7ed08e776cdc1d54ccda638e6bcc7tree | snapshot
parentb54a4c014b52859a287addb60ee23994ae303423commit | 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