comparison src/md5.h @ 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 e90d04cd455a
children 95d0cdf160ea e16f43875a48
comparison
equal deleted inserted replaced
94781:9a85583ee23c 94782:8398a37f304f