Add the option to build Texinfo-format documentation.
authorBenjamin Moody <benjamin@physionet.org>
Tue, 21 Dec 2021 19:12:12 +0000 (19:12 +0000)
committerRaspbian forward porter <root@raspbian.org>
Tue, 21 Dec 2021 19:12:12 +0000 (19:12 +0000)
commit9f669c91b4ccd650a8d67955f80d8e24837bdea3
treef6bac6fa836473a0587d5d877c8504b9234e8f8b
parent6955b52c6398035250b77a837fbfeaa1fe29d814
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