diff man/search.texi @ 48005:93d886a02ac0

(compile-always): Avoid error in old Bash versions.
author Richard M. Stallman <rms@gnu.org>
date Sat, 26 Oct 2002 22:32:08 +0000
parents 5681198aa760
children 2eca4c95c2bf
line wrap: on
line diff