summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2020-04-21 23:30:51 +0200
committerLudovic Courtès <ludo@gnu.org>2020-04-21 23:52:19 +0200
commitcb26edc8f62145d58fc55cc9b3a76128786b57b2 (patch)
tree89df4c0e61b25c2ba0e0defcb53e545a95141e4d /doc
parent0b9a117765ff871cf2e82acb2620d860fb93c016 (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.scm2
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$")))