changeset 75:a59ae4370202

- html manual: moved some generation steps to website build
author cslag
date Sun, 20 Mar 2016 18:44:41 +0100
parents f2a8dfd795e8
children 7ca46969e0ad
files doc/manual/Makefile.generic
diffstat 1 files changed, 1 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/doc/manual/Makefile.generic	Sat Mar 19 15:43:29 2016 +0100
+++ b/doc/manual/Makefile.generic	Sun Mar 20 18:44:41 2016 +0100
@@ -21,10 +21,8 @@
 
 # Main target dependencies --->
 
-manual_website_menu.html:
-	curl -s http://www.dyncall.org | sed '/<body>/,/<div class="mainDiv">/p;d' | sed 's/^.*<body>//;s/<div class="mainDiv">.*$$//' > $@
 
-html/manual.html: manual_tex4ht.cfg manual_website_menu.html sources
+html/manual.html: manual_tex4ht.cfg 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; \
@@ -35,7 +33,6 @@
 	)
 	# Postprocessing. Inject menu into output html pages. Replace some pieces, etc..
 	for f in "${VPATH}/html/"*.html; do \
-		sed -i '' '/^<body>/r manual_website_menu.html' "$$f"; \
 		sed -E -i '' $$'s/([[:space:]]class=["\'])lstlisting(["\'])/\\1ttDiv\\2/' "$$f"; \
 	done