diff options
| author | Ben Harris <bjh21@bjh21.me.uk> | 2007-04-08 00:17:52 +0000 |
|---|---|---|
| committer | Ben Harris <bjh21@bjh21.me.uk> | 2007-04-08 00:17:52 +0000 |
| commit | ac6717da27f479e197ba4bec763bc1fa571f909e (patch) | |
| tree | d0a16c8bae1f917eb91596daedb0096ecd99d16d /doc/index.but | |
| parent | f1399b6857d72ebe3a82618226ba019dcc9ce789 (diff) | |
| download | halibut-ac6717da27f479e197ba4bec763bc1fa571f909e.zip halibut-ac6717da27f479e197ba4bec763bc1fa571f909e.tar.gz halibut-ac6717da27f479e197ba4bec763bc1fa571f909e.tar.bz2 halibut-ac6717da27f479e197ba4bec763bc1fa571f909e.tar.xz | |
GNU manuals are fairly clear that "Info" is spelt in mixed case and set
in a Roman font. Follow suit.
[originally from svn r7450]
Diffstat (limited to 'doc/index.but')
| -rw-r--r-- | doc/index.but | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/index.but b/doc/index.but index 6dc0953..48e3ffd 100644 --- a/doc/index.but +++ b/doc/index.but @@ -674,8 +674,8 @@ directive \IM{keyword syntax} heading keywords, syntax of \IM{keyword syntax} syntax of keywords -\IM{GNU info} GNU \c{info} -\IM{GNU info} \c{info} +\IM{GNU info} GNU Info +\IM{GNU info} Info \IM{INFO-DIR-ENTRY} \cw{INFO-DIR-ENTRY} \IM{INFO-DIR-ENTRY} \cw{START-INFO-DIR-ENTRY} |