From 9e8270ccda8432d65021b65157967901505d2577 Mon Sep 17 00:00:00 2001
From: Jacob Nevins <jacobn@chiark.greenend.org.uk>
Date: Fri, 18 Feb 2005 20:40:49 +0000
Subject: Oops, overzealous search-and-replace

[originally from svn r5349]
---
 doc/index.but | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/index.but b/doc/index.but
index cb2da7a..239a270 100644
--- a/doc/index.but
+++ b/doc/index.but
@@ -587,9 +587,9 @@ directive
 \IM{--whlp} \c{--whlp} command-line option
 \IM{--hlp} \c{--hlp} command-line option
 \IM{--man} \c{--man} command-line option
-\IM{--info} \c{--info} cominfod-line option
-\IM{--ps} \c{--ps} compsd-line option
-\IM{--pdf} \c{--pdf} compdfd-line option
+\IM{--info} \c{--info} command-line option
+\IM{--ps} \c{--ps} command-line option
+\IM{--pdf} \c{--pdf} command-line option
 \IM{-C} \c{-C} command-line option
 \IM{--input-charset} \c{--input-charset} command-line option
 \IM{--list-charsets} \c{--list-charsets} command-line option
-- 
cgit v1.1