Add the option to build Texinfo-format documentation.
authorBenjamin Moody <benjamin@physionet.org>
Fri, 24 Sep 2021 09:43:00 +0000 (10:43 +0100)
committerMatthias Klose <doko@debian.org>
Fri, 24 Sep 2021 09:43:00 +0000 (10:43 +0100)
commitceb45fe0e1e58fec7a7e5c90b94588ce159ae818
treec4350228966734ccd8fa304c12e5cef0b549f6c7
parent6eb787525813a2f39b5a00fc019934d124c8cc10
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