diff man/search.texi @ 72189:bcf3943d4884

(Operating on Files): Simplify previous change and fix Texinfo usage.
author Richard M. Stallman <rms@gnu.org>
date Sat, 29 Jul 2006 22:08:43 +0000
parents 6555a8889c9f
children e9f448b5a616
line wrap: on
line diff