From 2f000f2ef48972b2544f0da3aa96faf19be8a04b Mon Sep 17 00:00:00 2001 From: Julien Lepiller 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(-) (limited to 'doc') 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=")) (define guile-lib/htmlprag-fixed ;; Guile-Lib with a hotfix for (htmlprag). -- cgit v1.2.3