projects
/
pintos-anon
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
9da08bb
)
Fix texi2html options.
author
Ben Pfaff
<blp@cs.stanford.edu>
Sun, 26 Sep 2004 21:11:34 +0000
(21:11 +0000)
committer
Ben Pfaff
<blp@cs.stanford.edu>
Sun, 26 Sep 2004 21:11:34 +0000
(21:11 +0000)
doc/Makefile
patch
|
blob
|
history
diff --git
a/doc/Makefile
b/doc/Makefile
index 6b4ce8fbbcc5b45f2910e99bef941f7bf813f3b9..cfb7cbfbf9e6a4611a07539c36568805b98e9a03 100644
(file)
--- a/
doc/Makefile
+++ b/
doc/Makefile
@@
-4,16
+4,16
@@
filesys.texi vm.texi standards.texi doc.texi devel.texi debug.texi
all: projects.html projects.info
projects.html: $(TEXIS) mlfqs1.png mlfqs2.png
all: projects.html projects.info
projects.html: $(TEXIS) mlfqs1.png mlfqs2.png
- ./texi2html -toc_file=$@ -split=chapter -no
-sec_nav -no-menu -init_file pintos-t2h.init -no-
number $<
+ ./texi2html -toc_file=$@ -split=chapter -no
sec_nav -nomenu -init_file pintos-t2h.init -no
number $<
projects.info: $(TEXIS)
makeinfo $<
%.eps: %.jgr
projects.info: $(TEXIS)
makeinfo $<
%.eps: %.jgr
-
jgraph $< > $@.tmp && mv $@.tmp
$@
+
(jgraph $< > $@.tmp && mv $@.tmp $@) || touch
$@
%.png: %.eps
convert $< $@
clean:
%.png: %.eps
convert $< $@
clean:
- rm -f *.info *.html *.
eps *.
png
+ rm -f *.info *.html *.png