diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2019-10-23 22:01:19 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2019-10-23 22:01:58 +0200 |
| commit | 6fc58c6c959f0b9d6144d92c5ed9b5cf1104f07a (patch) | |
| tree | cb9ab32358cd9e50a4b230aa0772c527157e9831 | |
| parent | ce5ade10d0b1c839ef8c4a3cd093f79c5f86ff9d (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.scm | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/build.scm b/doc/build.scm index 7ba9f57bc97..6326736451a 100644 --- a/doc/build.scm +++ b/doc/build.scm | |||
| @@ -162,7 +162,9 @@ as well as images, OS examples, and translations." | |||
| 162 | 162 | ||
| 163 | (define %makeinfo-html-options | 163 | (define %makeinfo-html-options |
| 164 | ;; Options passed to 'makeinfo --html'. | 164 | ;; Options passed to 'makeinfo --html'. |
| 165 | '("--css-ref=https://www.gnu.org/software/gnulib/manual.css")) | 165 | '("--css-ref=https://www.gnu.org/software/gnulib/manual.css" |
| 166 | "-c" "EXTRA_HEAD=<meta name=\"viewport\" \ | ||
| 167 | content=\"width=device-width, initial-scale=1\" />")) | ||
| 166 | 168 | ||
| 167 | (define* (html-manual source #:key (languages %languages) | 169 | (define* (html-manual source #:key (languages %languages) |
| 168 | (version "0.0") | 170 | (version "0.0") |