01/01: doc: More responsive online manual.

[guix-commits]

roptat pushed a commit to branch version-1.0.1
in repository guix.

commit 6fc58c6c959f0b9d6144d92c5ed9b5cf1104f07a
Author: Julien Lepiller <address@hidden>
Date:   Wed Oct 23 22:01:19 2019 +0200

    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 7ba9f57..6326736 100644
--- a/doc/build.scm
+++ b/doc/build.scm
@@ -162,7 +162,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* (html-manual source #:key (languages %languages)
                       (version "0.0")