Fix building the online version of the manual.
commitc67d223854d7c0f457dc6c7518a04e648873b50b
authorSergey Poznyakoff <gray@gnu.org>
Mon, 1 Mar 2021 18:30:56 +0000 (1 20:30 +0200)
committerSergey Poznyakoff <gray@gnu.org>
Mon, 1 Mar 2021 18:44:31 +0000 (1 20:44 +0200)
treeb970a3adddb7cffbb30e9e3bd8339b0851fd1ef9
parent55f2a0772e08b9febac3ac0de5cb048d4c60d2f5
Fix building the online version of the manual.

* doc/Makefile.am (GENDOCS): Use the version from the tar repository.
(manual): Set the DISTRIN rendition.
(manual-rebuild): New goal.
* doc/README.manual: New file. Instructions for maintainers on how to
update web documentation.
* doc/gendocs.sh: A version from gnulib fixed as per
https://lists.gnu.org/archive/html/bug-gnulib/2021-03/msg00002.html.
* doc/gendocs_template: Updated version from gnulib.
* doc/intern.texi: Fix the use of UNREVISED.
* doc/tar.texi: Fix the use of GNUTAR.
doc/Makefile.am
doc/README.manual [new file with mode: 0644]
doc/gendocs.sh [new file with mode: 0755]
doc/gendocs_template [changed mode: 0755->0644]
doc/intern.texi
doc/tar.texi