From 2f000f2ef48972b2544f0da3aa96faf19be8a04b Mon Sep 17 00:00:00 2001
From: Julien Lepiller <julien@lepiller.eu>
Date: Mon, 21 Oct 2019 21:12:45 +0200
Subject: doc: More responsive online manual.

* doc/build.scm (%makeinfo-html-options): Add viewport to all generated
html pages for better mobile device support.
---
 doc/build.scm | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/doc/build.scm b/doc/build.scm
index 380678c866..45a863503a 100644
--- a/doc/build.scm
+++ b/doc/build.scm
@@ -170,7 +170,9 @@ as well as images, OS examples, and translations."
 
 (define %makeinfo-html-options
   ;; Options passed to 'makeinfo --html'.
-  '("--css-ref=https://www.gnu.org/software/gnulib/manual.css"))
+  '("--css-ref=https://www.gnu.org/software/gnulib/manual.css"
+    "-c" "EXTRA_HEAD=<meta name=\"viewport\" \
+content=\"width=device-width, initial-scale=1\" />"))
 
 (define guile-lib/htmlprag-fixed
   ;; Guile-Lib with a hotfix for (htmlprag).
-- 
cgit v1.2.3