Add the option to build Texinfo-format documentation.
authorBenjamin Moody <benjamin@physionet.org>
Sun, 7 Nov 2021 15:47:09 +0000 (15:47 +0000)
committerMatthias Klose <doko@debian.org>
Sun, 7 Nov 2021 15:47:09 +0000 (15:47 +0000)
commit3db50b4d58ae2e67500d982eecfbff49aa4a45b8
tree0da20da5098b2cdeb6b4c65d7c351c49f38564ca
parent88ce537ce0a6baeea09ef5b78c6008a3b339ef93
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