Add the option to build Texinfo-format documentation.
authorBenjamin Moody <benjamin@physionet.org>
Thu, 17 Sep 2020 10:40:00 +0000 (11:40 +0100)
committerMatthias Klose <doko@debian.org>
Thu, 17 Sep 2020 10:40:00 +0000 (11:40 +0100)
commit0554e4c8a3d6987df4bea6b8f4aa24a658d21583
treeaeebd0773500823e7835c26bf9121eedf296b26b
parent89a1e1d92d14d203c8c3060887800166d83fceb3
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