Add the option to build Texinfo-format documentation.
authorBenjamin Moody <benjamin@physionet.org>
Thu, 16 Dec 2021 23:13:29 +0000 (23:13 +0000)
committerMatthias Klose <doko@debian.org>
Thu, 16 Dec 2021 23:13:29 +0000 (23:13 +0000)
commit792eaa6d049d2e2ba8ef4087224087e50b2b4a3f
tree2421832ee3904c00914752ff3179babb29cded01
parente039bf3fe001cf076bfec31b64d3e94f8115ca63
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