comparison etc/srecode/wisent.srt @ 112443:295000738bf5

Improve configuration of makeinfo. * Makefile.in (MAKEINFO): Now controlled by `configure'. (MAKEINFO_OPTS): New variable. Use it where appropriate. (ENVADD): New variable to control texi2dvi and texi2pdf.
author Werner Lemberg <wl@gnu.org>
date Sun, 23 Jan 2011 11:31:21 +0100
parents 376148b31b5e
children
comparison
equal deleted inserted replaced
112442:76fa839f455e 112443:295000738bf5