wiz 05686e9c80 While we provide gettimeofday, it's only needed by texindex if ... mkstemp is not found. The configure test for gettimeofday is thus only run in that case, which explains why HAVE_GETTIMEOFDAY was not defined by default in the resulting config.h. Since we don't need gettimeofday, don't define HAVE_GETTIMEOFDAY manually to simplify updates to this file. Add RCS Id.		2003-09-09 12:55:10 +00:00
..
common	While we provide gettimeofday, it's only needed by texindex if	2003-09-09 12:55:10 +00:00
info	…
infokey	Add infokey utility; install more locales and texinfo.dtd and texinfo.xsl.	2003-01-17 16:04:15 +00:00
install-info	Add MKUNPRIVED; if not no has the same semantics as if UNPRIVED was defined.	2003-07-18 08:26:01 +00:00
makeinfo	…
texi2dvi	…
texindex	…
Makefile	Install Romanian locale too.	2003-07-03 15:17:47 +00:00
Makefile.inc	Remove local ENABLE_NLS patches which were added for smaller executable	2003-09-08 13:33:00 +00:00