projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Modify the linker script to match the generated binary
[pintos-anon]
/
doc
/
Makefile
diff --git
a/doc/Makefile
b/doc/Makefile
index 0a01cc3ac8a26e27d0e94b895409716adb73d3dc..95dd71bdf0e6c5a0dfed6a06f0c6bdd60228df2a 100644
(file)
--- a/
doc/Makefile
+++ b/
doc/Makefile
@@
-21,7
+21,7
@@
pintos.ps: pintos.dvi
dvips $< -o $@
pintos.pdf: $(TEXIS)
-
pdftex
$< -o $@
+
texi2pdf
$< -o $@
%.texi: %
sed < $< > $@ 's/\([{}@]\)/\@\1/g;'