comparison lib/mktime-internal.h @ 112444:4302934369fd

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:34:39 +0100
parents 474d5026a5a2
children
comparison
equal deleted inserted replaced
112443:295000738bf5 112444:4302934369fd