summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile.am15
1 files changed, 15 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am
index a8b7072..5694a14 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -63,6 +63,21 @@ EXTRA_DIST += \
$(DOC_IMAGES:%.svg.scm=%.svg.scm.svg) \
doc/fdl-1.3.texi
+_header='\
+<div id="wrapper">\
+ <div id="header">\
+ </div>\
+ <div id=content class=width-control>'
+
+AM_MAKEINFOHTMLFLAGS = \
+ --no-split \
+ --no-number-sections \
+ --css-ref=https://elephly.net/css/manuals.css \
+ -c AFTER_BODY_OPEN=$(_header) \
+ -c PRE_BODY_CLOSE='</div></div>' \
+ -c TOC_LINKS=true \
+ -c 'EXTRA_HEAD=<meta name="viewport" \ content="width=device-width, initial-scale=1" />'
+
dist-hook: gen-ChangeLog
gen-ChangeLog:
$(AM_V_GEN)if test -d .git; then \