projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Make docs compile again
[pintos-anon]
/
doc
/
Makefile
diff --git
a/doc/Makefile
b/doc/Makefile
index ed8bb234bfa95d51333abe10d515facc47b588b0..0a01cc3ac8a26e27d0e94b895409716adb73d3dc 100644
(file)
--- a/
doc/Makefile
+++ b/
doc/Makefile
@@
-3,7
+3,7
@@
filesys.texi license.texi reference.texi 44bsd.texi standards.texi \
doc.texi sample.tmpl.texi devel.texi debug.texi installation.texi \
bibliography.texi localsettings.texi
doc.texi sample.tmpl.texi devel.texi debug.texi installation.texi \
bibliography.texi localsettings.texi
-all: pintos.html pintos.info pintos.
dvi pintos.ps pintos.
pdf
+all: pintos.html pintos.info pintos.pdf
pintos.html: $(TEXIS) texi2html
./texi2html -toc_file=$@ -split=chapter -nosec_nav -nomenu -init_file pintos-t2h.init $<
pintos.html: $(TEXIS) texi2html
./texi2html -toc_file=$@ -split=chapter -nosec_nav -nomenu -init_file pintos-t2h.init $<
@@
-21,7
+21,7
@@
pintos.ps: pintos.dvi
dvips $< -o $@
pintos.pdf: $(TEXIS)
dvips $< -o $@
pintos.pdf: $(TEXIS)
-
texi2pdf
$< -o $@
+
pdftex
$< -o $@
%.texi: %
sed < $< > $@ 's/\([{}@]\)/\@\1/g;'
%.texi: %
sed < $< > $@ 's/\([{}@]\)/\@\1/g;'