diff lib-src/make-docfile.c @ 108137:4e52ea307c2d

Regenerate configure.
author Glenn Morris <rgm@gnu.org>
date Tue, 27 Apr 2010 01:11:11 -0700
parents b3b9ebd930e1
children 5842e8fabe06 376148b31b5e
line wrap: on
line diff