projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix problems compiling documentation
[pintos-anon]
/
doc
/
Makefile
diff --git
a/doc/Makefile
b/doc/Makefile
index ed8bb234bfa95d51333abe10d515facc47b588b0..9e0e994bc9a1698bcba28056442b9ea0fcf7dc48 100644
(file)
--- a/
doc/Makefile
+++ b/
doc/Makefile
@@
-3,10
+3,10
@@
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
pintos.html: $(TEXIS) texi2html
- ./texi2html -toc_file=$@ -split=chapter -nosec_nav -nomenu -init_file pintos-t2h.init $<
+ ./texi2html -toc_file=$@ -split=chapter -nosec_nav -nomenu -init_file
./
pintos-t2h.init $<
pintos.info: $(TEXIS)
makeinfo $<
pintos.info: $(TEXIS)
makeinfo $<