doc: Include *.json files in the source.
authorLudovic Courtès <ludo@gnu.org>
Tue, 21 Apr 2020 21:30:51 +0000 (23:30 +0200)
committerLudovic Courtès <ludo@gnu.org>
Tue, 21 Apr 2020 21:52:19 +0000 (23:52 +0200)
This is a followup to c9f321e52a99dea93fcc099372ea0167150b9aac.

* doc/build.scm (texinfo-manual-source)[build]: Add *.json to #$output.

doc/build.scm

index 994b94e..3907b49 100644 (file)
@@ -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$")))