From ac6717da27f479e197ba4bec763bc1fa571f909e Mon Sep 17 00:00:00 2001
From: Ben Harris <bjh21@bjh21.me.uk>
Date: Sun, 8 Apr 2007 00:17:52 +0000
Subject: GNU manuals are fairly clear that "Info" is spelt in mixed case and
 set in a Roman font.  Follow suit.

[originally from svn r7450]
---
 doc/index.but | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc/index.but')

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}
-- 
cgit v1.1