diff admin/FOR-RELEASE @ 82802:8b69ffdd3748

Check for a suitably recent makeinfo.
author Glenn Morris <rgm@gnu.org>
date Fri, 24 Aug 2007 02:58:12 +0000
parents 962fb740e73f
children 92ccd83174e6 aaccdab0ee26
line wrap: on
line diff