[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
01/01: doc: More responsive online manual.
|
From: |
guix-commits |
|
Subject: |
01/01: doc: More responsive online manual. |
|
Date: |
Mon, 21 Oct 2019 15:17:30 -0400 (EDT) |
roptat pushed a commit to branch master
in repository guix.
commit 2f000f2ef48972b2544f0da3aa96faf19be8a04b
Author: Julien Lepiller <address@hidden>
Date: Mon Oct 21 21:12:45 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 380678c..45a8635 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).