From d6b7c96c3eb29b9244ece0c046d3f372ff432d04 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Wed, 23 Jun 2010 21:03:09 -0700
Subject: Populate tree.

---
 doc/Makefile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'doc/Makefile')

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
-- 
cgit v1.2.3