Add the option to build Texinfo-format documentation.
authorBenjamin Moody <benjamin@physionet.org>
Thu, 24 Mar 2022 13:02:21 +0000 (13:02 +0000)
committerMatthias Klose <doko@debian.org>
Thu, 24 Mar 2022 13:02:21 +0000 (13:02 +0000)
commit783008c7f38c2553d00bb89a9a006c9b091078de
tree9f50c2949590f7f621016658cb2c60fbed4e0c0d
parenta66e4b4ab1cf2c7723e94c4511db3034bacd7b0c
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