diff Makefile.in @ 78515:740099935129

(help-make-xrefs): Fix previous change.
author Glenn Morris <rgm@gnu.org>
date Thu, 09 Aug 2007 02:49:10 +0000
parents 55a39357e139
children a9b80f99c836
line wrap: on
line diff