doc: More responsive online manual.

* doc/build.scm (%makeinfo-html-options): Add viewport to all generated
html pages for better mobile device support.
This commit is contained in:
Julien Lepiller 2019-10-21 21:12:45 +02:00
parent 05b0b050bc
commit 2f000f2ef4
No known key found for this signature in database
GPG Key ID: 43111F4520086A0C
1 changed files with 3 additions and 1 deletions

View File

@ -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).