# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 990465949 0
# Node ID dcd99cd5b789fb1e3b713b5ca8e29bec19cd9a98
# Parent  24c99dc4a9731ab091fb7f26ce11ee20c217f708
Change "International Intro" -> "International Chars".

diff -r 24c99dc4a973 -r dcd99cd5b789 man/mule.texi
--- a/man/mule.texi	Sun May 20 18:35:02 2001 +0000
+++ b/man/mule.texi	Mon May 21 17:25:49 2001 +0000
@@ -81,7 +81,7 @@
   The rest of this chapter describes these issues in detail.
 
 @menu
-* International Intro::     Basic concepts of multibyte characters.
+* International Chars::     Basic concepts of multibyte characters.
 * Enabling Multibyte::      Controlling whether to use multibyte characters.
 * Language Environments::   Setting things up for the language you use.
 * Input Methods::           Entering text characters not on your keyboard.
@@ -100,7 +100,7 @@
                             to use without multibyte characters.
 @end menu
 
-@node International Intro
+@node International Chars
 @section Introduction to International Character Sets
 
   The users of international character sets and scripts have established