Add the option to build Texinfo-format documentation.
authorBenjamin Moody <benjamin@physionet.org>
Thu, 30 Jul 2020 10:10:07 +0000 (11:10 +0100)
committerPeter Michael Green <plugwash@raspbian.org>
Thu, 30 Jul 2020 10:10:07 +0000 (11:10 +0100)
commit94cbcadae2f6d7d84f5538b5b1e6616511460777
treeb539b9a3461f32c79542a0e9b62e7f6a496f0214
parentb7773057ec03c7059791ecfd650d2d739d3313dc
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