diff src/w32reg.c @ 94782:8398a37f304f

Make absence of makeinfo a fatal error only if the info files don't exist.
author Glenn Morris <rgm@gnu.org>
date Fri, 09 May 2008 04:27:56 +0000
parents fc2bcd2a8aad
children 606f2d163a64 8971ddf55736
line wrap: on
line diff