diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-04-21 23:30:51 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-04-21 23:52:19 +0200 |
| commit | cb26edc8f62145d58fc55cc9b3a76128786b57b2 (patch) | |
| tree | 89df4c0e61b25c2ba0e0defcb53e545a95141e4d /doc | |
| parent | 0b9a117765ff871cf2e82acb2620d860fb93c016 (diff) | |
doc: Include *.json files in the source.
This is a followup to c9f321e52a99dea93fcc099372ea0167150b9aac.
* doc/build.scm (texinfo-manual-source)[build]: Add *.json to #$output.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/build.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/build.scm b/doc/build.scm index 994b94eae2..3907b49caf 100644 --- a/doc/build.scm +++ b/doc/build.scm @@ -142,7 +142,7 @@ as well as images, OS examples, and translations." (for-each (lambda (texi) (install-file texi #$output)) - (append (find-files #$documentation "\\.(texi|scm)$") + (append (find-files #$documentation "\\.(texi|scm|json)$") (find-files #$(translated-texi-manuals source) "\\.texi$"))) |