configure: check for makeinfo instead of tex for documentation#231
Merged
brarcher merged 1 commit intolibcheck:masterfrom Oct 26, 2019
nmeum:makeinfo
Merged
configure: check for makeinfo instead of tex for documentation#231brarcher merged 1 commit intolibcheck:masterfrom nmeum:makeinfo
brarcher merged 1 commit intolibcheck:masterfrom
nmeum:makeinfo
