Add the option to build Texinfo-format documentation.
authorBenjamin Moody <benjamin@physionet.org>
Fri, 3 Sep 2021 06:18:44 +0000 (07:18 +0100)
committerMatthias Klose <doko@debian.org>
Fri, 3 Sep 2021 06:18:44 +0000 (07:18 +0100)
commit6c50a7adb1643bff327b28a38d310af25b1f8020
treeb6870d3e3c15b9c019b6db9c9a87b1116fde3763
parent7378d9eed896418eceb08ec72deb8cc0dd9f74c2
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