diff man/entering.texi @ 41651:01caeff5df7a

(maybe_bootstrap): Don't bootstrap, just suggest it.
author Richard M. Stallman <rms@gnu.org>
date Thu, 29 Nov 2001 00:47:32 +0000
parents 5c282c7df1cf
children 861d4dd87bd7
line wrap: on
line diff