.*$$//' > $@
+
+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{}dyncall Manual - }{\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{