comparison doc/misc/ChangeLog @ 112445:93fcbcb698b0

Improve configuration of makeinfo. * Makefile.in (MAKEINFO): Now controlled by `configure'. (MAKEINFO_OPTS): New variable. Use it where appropriate. (ENVADD): Updated.
author Werner Lemberg <wl@gnu.org>
date Sun, 23 Jan 2011 11:38:14 +0100
parents 98399365dc54
children
comparison
equal deleted inserted replaced
112444:4302934369fd 112445:93fcbcb698b0
1 2011-01-23 Werner Lemberg <wl@gnu.org>
2
3 * Makefile.in (MAKEINFO): Now controlled by `configure'.
4 (MAKEINFO_OPTS): New variable. Use it where appropriate.
5 (ENVADD): Updated.
6
1 2011-01-18 Glenn Morris <rgm@gnu.org> 7 2011-01-18 Glenn Morris <rgm@gnu.org>
2 8
3 * ert.texi: Relicense under GFDL 1.3+, and standardize license notice. 9 * ert.texi: Relicense under GFDL 1.3+, and standardize license notice.
4 10
5 2011-01-14 Eduard Wiebe <usenet@pusto.de> 11 2011-01-14 Eduard Wiebe <usenet@pusto.de>