Add the option to build Texinfo-format documentation.
authorBenjamin Moody <benjamin@physionet.org>
Tue, 8 Dec 2020 07:51:42 +0000 (07:51 +0000)
committerMatthias Klose <doko@debian.org>
Tue, 8 Dec 2020 07:51:42 +0000 (07:51 +0000)
commit380cf9a7ffc68091485e26b6882f58234dde4f3d
tree0852b910502914faf8052802758df77e264faa51
parent9884ea4ea76b74182a489c2ae88565b6ade856fb
Add the option to build Texinfo-format documentation.

Bug-Debian: https://bugs.debian.org/881959
Last-Update: 2017-11-27

Gbp-Pq: Name doc-build-texinfo.diff
Doc/Makefile