Add the option to build Texinfo-format documentation.
authorBenjamin Moody <benjamin@physionet.org>
Wed, 12 Jan 2022 16:10:51 +0000 (16:10 +0000)
committerMatthias Klose <doko@debian.org>
Wed, 12 Jan 2022 16:10:51 +0000 (16:10 +0000)
commit89800772abc6a0f7ebc83fc6089a0521cbac12f4
tree2ffde57b6c56e83529a72b6f056a64feb9678d3c
parent24c6758be38e3570960204ccace61a4c3ff17842
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