From: Branden Archer <b.m.archer4@gmail.com>
Date: Sat, 26 Oct 2019 18:48:14 +0000 (-0700)
Subject: Merge pull request #231 from nmeum/makeinfo
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=HEAD;p=check

Merge pull request #231 from nmeum/makeinfo

configure: check for makeinfo instead of tex for documentation
---

8160201ccac79fe748162fda6be1a7774a83407f