summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2019-10-21 21:12:45 +0200
committerJulien Lepiller <julien@lepiller.eu>2019-10-21 21:17:01 +0200
commit2f000f2ef48972b2544f0da3aa96faf19be8a04b (patch)
tree809e212c9f83970c047b53c84b049dd8ce64d3cc
parent05b0b050bce644d96ed2222b7d88414f50bb23d9 (diff)
doc: More responsive online manual.
* doc/build.scm (%makeinfo-html-options): Add viewport to all generated html pages for better mobile device support.
-rw-r--r--doc/build.scm4
1 files changed, 3 insertions, 1 deletions
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).