Add the option to build Texinfo-format documentation.
authorBenjamin Moody <benjamin@physionet.org>
Tue, 16 Nov 2021 10:24:31 +0000 (10:24 +0000)
committerMatthias Klose <doko@debian.org>
Tue, 16 Nov 2021 10:24:31 +0000 (10:24 +0000)
commitbfbb068a4f41e70b771f0c98f029fa02d56d37b0
tree6b788a96e31b76fb9738742b1b189496aa39618b
parentb3432341e1ef6b8e278e29cd955776f8c0256e2d
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