diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2022-01-19 15:41:59 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-01-19 15:43:25 +0100 |
| commit | fa580bf3b456273ebbbba20b3f4de1afdac3d031 (patch) | |
| tree | fe93d55dbf7a24ed44b75c7bdd0f775b7cb27f41 /.guix-channel | |
| parent | 2c9787086a9b0e1ab3b63e304f778c5d46dce0e6 (diff) | |
| download | guix-patches-base-for-series-11028.tar guix-patches-base-for-series-11028.tar.gz | |
doc: Make the HTML language menu disappear on narrow screens.base-for-series-11028
* doc/build.scm (stylized-html)[build](navigation-bar): New procedure.
(stylized-html): Use it.
Diffstat (limited to '.guix-channel')
0 files changed, 0 insertions, 0 deletions