# HG changeset patch # User cslag # Date 1457311536 -3600 # Node ID edc2afc17aa02a2f3d98905eebcb0f03e07df36f # Parent 33c333ec5ad2491c44b0c21f04556e1ef41de757 - more html doc work diff -r 33c333ec5ad2 -r edc2afc17aa0 doc/manual/Makefile.generic --- a/doc/manual/Makefile.generic Sun Mar 06 23:30:44 2016 +0100 +++ b/doc/manual/Makefile.generic Mon Mar 07 01:45:36 2016 +0100 @@ -6,7 +6,10 @@ # run twice for toc on some tex installs cd "${VPATH}" && for i in 1 2; do pdflatex -output-directory="${PWD}" manual.tex; done -html/manual.html: manual_tex4ht.cfg sources +manual_website_menu.html: + curl -s http://www.dyncall.org | sed '//,/
/p;d' | sed 's/^.*//;s/
.*$$//' > $@ + +html/manual.html: manual_tex4ht.cfg manual_website_menu.html sources # Create tex4ht.env from default one, but with better bitmaps cd "${VPATH}" && ( \ cp $$(dirname $$(which tex4ht))/../share/texmf-dist/tex4ht/base/unix/tex4ht.env ./custom_tex4ht.env; \ @@ -15,6 +18,10 @@ htlatex manual.tex manual_tex4ht " -cunihtf -e./custom_tex4ht.env -utf8" -d./html/; \ rm ./html/*.css; \ ) + # Inject menu into output html pages. + for f in "${VPATH}/html/"*.html; do \ + sed -i '' '/^/r manual_website_menu.html' "$$f"; \ + done pdf: manual.pdf diff -r 33c333ec5ad2 -r edc2afc17aa0 doc/manual/manual_tex4ht.cfg --- a/doc/manual/manual_tex4ht.cfg Sun Mar 06 23:30:44 2016 +0100 +++ b/doc/manual/manual_tex4ht.cfg Mon Mar 07 01:45:36 2016 +0100 @@ -35,7 +35,7 @@ \Configure{VERSION}{} \Configure{DOCTYPE}{\HCode{\Hnewline}} \Configure{HTML}{\HCode{\Hnewline}}{\HCode{\Hnewline}} -\Configure{BODY}{\HCode{
\Hnewline}}{\HCode{\Hnewline
}} +\Configure{BODY}{\HCode{\Hnewline\Hnewline
\Hnewline}}{\HCode{\Hnewline
}} % KEEP the body on it's own line, as it's used as a marker for postprocessing. % TITLE+ is only on main page, other use section title. Prefix everything, though. \Configure{TITLE}{\HCode{}dyncall Manual - }{\HCode{}}