diff man/mini.texi @ 56817:99e9271dee93

Fix texinfo usage, esp. doublequotes. (Difference between Emacs and XEmacs): Some clarification.
author Richard M. Stallman <rms@gnu.org>
date Sat, 28 Aug 2004 00:43:40 +0000
parents 3264fbd6f6f5
children 9f99ae07c452
line wrap: on
line diff