comparison oldXMenu/copyright.h @ 94597:100982f1144d

(--without-makeinfo): New option. If set, absence of suitable makeinfo is not a fatal error.
author Glenn Morris <rgm@gnu.org>
date Sat, 03 May 2008 20:16:15 +0000
parents e806467e7c39
children 07774e5c3ff5 dd7c098af727 ef719132ddfa
comparison
equal deleted inserted replaced
94596:b6ddb40f7dbd 94597:100982f1144d