summaryrefslogtreecommitdiff
path: root/Makefile.am
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2019-07-07 15:00:43 +0200
committerLudovic Courtès <ludo@gnu.org>2019-07-15 11:28:54 +0200
commit5ce869f66df61146ece4caa7109f93eb3c6b2f3d (patch)
treed5b763101fa6de5c48513f8fa6e95b35a4272c3d /Makefile.am
parentfb2abbd6f5abac8ae0fec594594dd54ff7e3f4db (diff)
build: Add 'doc/build.scm' to build on-line copies of the manual.
* doc/build.scm: New file. * Makefile.am (EXTRA_DIST): Add it.
Diffstat (limited to 'Makefile.am')
-rw-r--r--Makefile.am1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am
index ba4528ce873..1ab974b13c9 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -541,6 +541,7 @@ EXTRA_DIST += \
541 tests/cve-sample.xml \ 541 tests/cve-sample.xml \
542 build-aux/config.rpath \ 542 build-aux/config.rpath \
543 bootstrap \ 543 bootstrap \
544 doc/build.scm \
544 release.nix \ 545 release.nix \
545 $(TESTS) 546 $(TESTS)
546 547