Support generation of tutorial in html.

ucbjrl · ucbjrl · commit e710e4700a23 · 2016-07-08T21:45:23.000-07:00
make WWW_EXTRA=tutorial.html should generate it, given the correct tools.
diff --git a/doc/Makefile b/doc/Makefile
@@ -34,6 +34,7 @@ MAN_PAGES := chisel.man
 
 srcDir    := .
 installTop:= ../www
+toolDir	?= ../../chisel-doc/bin
 
 vpath %.tex $(addprefix $(srcDir)/,$(PDF_DIRS))
 
@@ -70,7 +71,7 @@ chisel-%.pdf: %.tex %_date.sty
 %.html: %.tex %_date.sty
 	cd $(dir $<) && for c in 0 1; do htlatex $(notdir $<) $(PWD)/$(srcDir)/html.cfg "" -d/$(PWD)/ ; done
 	mv $(subst .tex,.html,$(notdir $<)) $@~
-	$(srcDir)/../bin/tex2html.py $@~ $@
+	$(toolDir)/tex2html.py $@~ $@
 
 %.man: %.mtt
 	# cd into the directory containing the .tex file and massage it
@@ -79,7 +80,7 @@ chisel-%.pdf: %.tex %_date.sty
 	latex2man $(basename $@).ttex $@
 
 %.html: $(srcDir)/templates/%.html $(srcDir)/templates/base.html
-	$(srcDir)/../bin/jinja2html.py $(notdir $<) $@
+	$(toolDir)/jinja2html.py $(notdir $<) $@
 
 clean:
 	-rm -f $(TEX_TEMP_FILES)
diff --git a/doc/html.cfg b/doc/html.cfg
@@ -0,0 +1,9 @@
+\Preamble{xhtml}
+  \Configure{graphics*}  
+         {pdf}  
+         {\Needs{"convert \csname Gin@base\endcsname.pdf  
+                               \csname Gin@base\endcsname.png"}%  
+          \Picture[pict]{\csname Gin@base\endcsname.png}%  
+         }  
+\begin{document}
+\EndPreamble
