diff man/faq.texi @ 32362:c74db5a73b6f

Fix last change for docs search procedure (suggested by Dave Love).
author Eli Zaretskii <eliz@gnu.org>
date Tue, 10 Oct 2000 12:46:32 +0000
parents b2cc8b3e837e
children 33df9c2e70bf
line wrap: on
line diff