diff options
| author | Jacob Nevins <jacobn@chiark.greenend.org.uk> | 2005-02-18 20:40:49 +0000 |
|---|---|---|
| committer | Jacob Nevins <jacobn@chiark.greenend.org.uk> | 2005-02-18 20:40:49 +0000 |
| commit | 9e8270ccda8432d65021b65157967901505d2577 (patch) | |
| tree | 383777716dd2bea47c45786d86fa2d200ddb7dab | |
| parent | d32528ad971b002123546df813fdb0cfc18dcaa2 (diff) | |
| download | halibut-9e8270ccda8432d65021b65157967901505d2577.zip halibut-9e8270ccda8432d65021b65157967901505d2577.tar.gz halibut-9e8270ccda8432d65021b65157967901505d2577.tar.bz2 halibut-9e8270ccda8432d65021b65157967901505d2577.tar.xz | |
Oops, overzealous search-and-replace
[originally from svn r5349]
| -rw-r--r-- | doc/index.but | 6 |
1 files 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 |