diff options
| author | Björn Höfling <bjoern.hoefling@bjoernhoefling.de> | 2020-04-28 13:51:31 +0200 |
|---|---|---|
| committer | Björn Höfling <bjoern.hoefling@bjoernhoefling.de> | 2020-05-02 13:21:42 +0200 |
| commit | 7c65fc378cf68b598965fd977f5844050435ac97 (patch) | |
| tree | 31f7255cd1cebdc37fe8d8ad8ae208a8d9ce2b7b /etc/snippets | |
| parent | 87001355cc8c578898a9b1e756e6a0e9e7cc2b0a (diff) | |
| download | patches-7c65fc378cf68b598965fd977f5844050435ac97.tar patches-7c65fc378cf68b598965fd977f5844050435ac97.tar.gz | |
doc: Fix building the cookbook.
Fixes <https://debbugs.gnu.org/cgi/bugreport.cgi?bug=40803>.
Reported by "operator.name" <operator.name@protonmail.com>.
* doc/build.scm (%languages): Add smaller list for the cookbook.
(syntax-highlighted-html): Adapt regexp for mono-node files to include
the cookbook.
Diffstat (limited to 'etc/snippets')
0 files changed, 0 insertions, 0 deletions