diff man/search.texi @ 53810:8e3fcb111ffd

Sync with Makefile.in changes.
author Jason Rumney <jasonr@gnu.org>
date Wed, 04 Feb 2004 21:40:05 +0000
parents 3649390c0f91
children d46dec533480
line wrap: on
line diff