diff options
-rw-r--r-- | doc/build.scm | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/build.scm b/doc/build.scm index 7ba9f57bc9..6326736451 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") |