Add the option to build Texinfo-format documentation.
authorBenjamin Moody <benjamin@physionet.org>
Mon, 19 Oct 2020 09:51:18 +0000 (10:51 +0100)
committerMatthias Klose <doko@debian.org>
Mon, 19 Oct 2020 09:51:18 +0000 (10:51 +0100)
commit22f12d67c6ee0609624f705077f2b77d5a6059b8
tree2742190a95d5fe20755ca8b442fa5de475dde572
parent1347c695b56840586daebd0d1a096b7823c433ed
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