diff options
| author | Graydon Hoare <[email protected]> | 2010-06-23 21:03:09 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-06-23 21:03:09 -0700 |
| commit | d6b7c96c3eb29b9244ece0c046d3f372ff432d04 (patch) | |
| tree | b425187e232966063ffc2f0d14c04a55d8f004ef /doc/Makefile | |
| parent | Initial git commit. (diff) | |
| download | rust-d6b7c96c3eb29b9244ece0c046d3f372ff432d04.tar.xz rust-d6b7c96c3eb29b9244ece0c046d3f372ff432d04.zip | |
Populate tree.
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index 4ac419c2..081a723b 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -5,7 +5,8 @@ all: rust.pdf rust.html texi2pdf $< %.html: %.texi - makeinfo --html --force --no-split --output=$@ $< + makeinfo --html --ifhtml --force --no-split --output=$@ $< clean: - rm -f rust.aux rust.cp rust.fn rust.ky rust.log rust.pdf rust.html rust.pg rust.toc rust.tp rust.vr
\ No newline at end of file + rm -f rust.aux rust.cp rust.fn rust.ky rust.log rust.pdf \ + rust.html rust.pg rust.toc rust.tp rust.vr
\ No newline at end of file |