Add the option to build Texinfo-format documentation.
authorBenjamin Moody <benjamin@physionet.org>
Sun, 10 Jan 2021 15:42:50 +0000 (15:42 +0000)
committerMatthias Klose <doko@debian.org>
Sun, 10 Jan 2021 15:42:50 +0000 (15:42 +0000)
commitcb2025a947eee8b2bfd9fb75ebf0919f3b68fcc6
treee0934093960baa83fd7c0edeb248aa25606edf86
parenta8062e783ed3d6ee85b37632c3bba3b496136715
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