Add the option to build Texinfo-format documentation.
authorBenjamin Moody <benjamin@physionet.org>
Mon, 10 Jan 2022 10:55:59 +0000 (10:55 +0000)
committerMatthias Klose <doko@debian.org>
Mon, 10 Jan 2022 10:55:59 +0000 (10:55 +0000)
commit201502a3524383db583b9e3ea6b7f253e252274c
tree94211ec1825b15e7640f3204a8a5b7d6372a96a7
parent410f4cb63747c300b409ed4290cb1792e1b8eb41
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