Mercurial > emacs
diff lib-src/pop.c @ 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 | 9ed7610349d3 |
children | 3a4bc081639c |