Add the option to build Texinfo-format documentation.
authorBenjamin Moody <benjamin@physionet.org>
Fri, 27 Nov 2020 19:38:39 +0000 (19:38 +0000)
committerMatthias Klose <doko@debian.org>
Fri, 27 Nov 2020 19:38:39 +0000 (19:38 +0000)
commitdbef4d32ffa96828256c0f4d4b80a83ffab450f6
treef4ce39baf12ebd2e66f2ea9098c6c0927fc4992e
parent48a4eadf3b57916b382e32e6754ed41b126a8ae2
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