aboutsummaryrefslogtreecommitdiffstats
path: root/docs/Makefile
diff options
context:
space:
mode:
authorkaf24@freefall.cl.cam.ac.uk <kaf24@freefall.cl.cam.ac.uk>2004-11-06 14:00:49 +0000
committerkaf24@freefall.cl.cam.ac.uk <kaf24@freefall.cl.cam.ac.uk>2004-11-06 14:00:49 +0000
commite555800f0487182772bfe272e7a05475c8f71f7b (patch)
tree9850ee41678319fd36d33e0cd8b4674c65c7e4af /docs/Makefile
parente9d3c4135fe341dacf41c7be5bd0982421ead7c4 (diff)
downloadxen-e555800f0487182772bfe272e7a05475c8f71f7b.tar.gz
xen-e555800f0487182772bfe272e7a05475c8f71f7b.tar.bz2
xen-e555800f0487182772bfe272e7a05475c8f71f7b.zip
bitkeeper revision 1.1159.1.388 (418cd911S4GHR23WmcIAsrA5z4WmNg)
Better latex2html options.
Diffstat (limited to 'docs/Makefile')
-rw-r--r--docs/Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/Makefile b/docs/Makefile
index e685704bea..86b5d8f1b1 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -47,4 +47,5 @@ ps/%.ps: %.dvi
html/%/index.html: src/%.tex
mkdir -p html/$*
latex2html -split 0 -show_section_numbers -toc_depth 3 -nonavigation \
- -noinfo -math -dir html/$* $< 1>/dev/null 2>/dev/null
+ -numbered_footnotes -local_icons -noinfo -math -dir html/$* \
+ $< 1>/dev/null 2>/dev/null