projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Convert tabs to spaces in design doc templates
[pintos-anon]
/
doc
/
Makefile
diff --git
a/doc/Makefile
b/doc/Makefile
index 0a01cc3ac8a26e27d0e94b895409716adb73d3dc..9e0e994bc9a1698bcba28056442b9ea0fcf7dc48 100644
(file)
--- a/
doc/Makefile
+++ b/
doc/Makefile
@@
-6,7
+6,7
@@
bibliography.texi localsettings.texi
all: pintos.html pintos.info pintos.pdf
pintos.html: $(TEXIS) texi2html
all: pintos.html pintos.info pintos.pdf
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 $<
@@
-21,7
+21,7
@@
pintos.ps: pintos.dvi
dvips $< -o $@
pintos.pdf: $(TEXIS)
dvips $< -o $@
pintos.pdf: $(TEXIS)
-
pdftex
$< -o $@
+
texi2pdf
$< -o $@
%.texi: %
sed < $< > $@ 's/\([{}@]\)/\@\1/g;'
%.texi: %
sed < $< > $@ 's/\([{}@]\)/\@\1/g;'