diff options
| -rw-r--r-- | Makefile.am | 15 |
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 \ |