From 6a2dcc59e1c3df444f027b128169dc0c27c12fd1 Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <rekado@elephly.net>
Date: Sat, 20 Feb 2021 07:20:01 +0100
Subject: Add options for prettier HTML manual.

---
 Makefile.am | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

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				\
-- 
cgit v1.2.3