Add the option to build Texinfo-format documentation.
authorBenjamin Moody <benjamin@physionet.org>
Thu, 23 Jul 2020 09:11:14 +0000 (10:11 +0100)
committerMatthias Klose <doko@debian.org>
Thu, 23 Jul 2020 09:11:14 +0000 (10:11 +0100)
commit7fdc76b96f1b6e6586077c91eea6f1f9c9a58940
tree2160a811d78486bb6d9aebd58c89c6213e44832b
parent29ae65a8ee50d959f43d93e22c5cd2a124a6fcfa
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