diff man/mini.texi @ 37965:5ca54595fa61

(bootstrap-doc): New target. (bootstrap-emacs): Depend on it.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 31 May 2001 19:02:28 +0000
parents d184144845bc
children 23f63206a867
line wrap: on
line diff