Add the option to build Texinfo-format documentation.
authorBenjamin Moody <benjamin@physionet.org>
Wed, 20 Jan 2021 14:49:22 +0000 (14:49 +0000)
committerMatthias Klose <doko@debian.org>
Wed, 20 Jan 2021 14:49:22 +0000 (14:49 +0000)
commit067331b1771ccf17b6f6bdba62c4d26d9f1281db
treec15360800bdfe2827c667dd57cbae314c91ec4f7
parent168da01e098bfac5323513930bcc123b8643a26a
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