Add the option to build Texinfo-format documentation.
authorBenjamin Moody <benjamin@physionet.org>
Wed, 12 Aug 2020 10:42:16 +0000 (11:42 +0100)
committerMatthias Klose <doko@debian.org>
Wed, 12 Aug 2020 10:42:16 +0000 (11:42 +0100)
commit4c2d03e8f9ac3e12ed8bec49a75df5327a31f8b4
treecc2861bdc22a64b815026659a11082f02cfcb550
parente7b25746eb647066eb05654888069e743e6c84db
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