Add the option to build Texinfo-format documentation.
authorBenjamin Moody <benjamin@physionet.org>
Sun, 28 Feb 2021 17:03:44 +0000 (17:03 +0000)
committerMatthias Klose <doko@debian.org>
Sun, 28 Feb 2021 17:03:44 +0000 (17:03 +0000)
commit83cb82859a4d39d1ab7a0c316c953afeade9bffb
treeb4642a1bf8e3a83f1063b592641656b563071b85
parent8532b37bb28cfb87ecf17cefcb5784b81b89f517
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