diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2021-02-20 07:20:01 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2021-02-20 07:20:01 +0100 |
| commit | 6a2dcc59e1c3df444f027b128169dc0c27c12fd1 (patch) | |
| tree | fd5c1dca753e774d457b266a1e136cc2dda9426a | |
| parent | 291a746a1d3b4784d38b05239bdd7b8e796ce761 (diff) | |
Add options for prettier HTML manual.
| -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 \ |