comparison src/unexsol.c @ 82802:8b69ffdd3748

Check for a suitably recent makeinfo.
author Glenn Morris <rgm@gnu.org>
date Fri, 24 Aug 2007 02:58:12 +0000
parents b7bf941f8049
children 8a8e69664178 68dd71358159
comparison
equal deleted inserted replaced
82801:560ac93a642f 82802:8b69ffdd3748