Add the option to build Texinfo-format documentation.
authorBenjamin Moody <benjamin@physionet.org>
Mon, 5 Oct 2020 20:56:51 +0000 (21:56 +0100)
committerMatthias Klose <doko@debian.org>
Mon, 5 Oct 2020 20:56:51 +0000 (21:56 +0100)
commit157eaff3e568193599c4e98ceb02bc1d804d08a7
treeb15dc753c00129b4ae98b7866e62295d6f4fc323
parente3cd56731cd415ed71e29ab7131017c37a6144ea
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