build: Add 'doc/build.scm' to build on-line copies of the manual.
authorLudovic Courtès <ludo@gnu.org>
Sun, 7 Jul 2019 13:00:43 +0000 (15:00 +0200)
committerLudovic Courtès <ludo@gnu.org>
Sun, 7 Jul 2019 13:48:17 +0000 (15:48 +0200)
commitccadafdcefee012c261513e9d8663a22704bc496
tree83c85566290929261254dfb9e7bc915b507f5c3a
parentaad65962944098736f0e357683ed12d554cf5e8e
build: Add 'doc/build.scm' to build on-line copies of the manual.

* doc/build.scm: New file.
* Makefile.am (EXTRA_DIST): Add it.
Makefile.am
doc/build.scm [new file with mode: 0644]