aidan Wed Nov 3 02:27:47 2004 EDT
Modified files:
/phpdoc/en/reference/readline reference.xml
Log:
Fix typo
http://cvs.php.net/diff.php/phpdoc/en/reference/readline/reference.xml?r1=1.6&r2=1.7&ty=u
Index: phpdoc/en/reference/readline/reference.xml
diff -u phpdoc/en/reference/readline/reference.xml:1.6
phpdoc/en/reference/readline/reference.xml:1.7
--- phpdoc/en/reference/readline/reference.xml:1.6 Fri Dec 19 10:49:49 2003
+++ phpdoc/en/reference/readline/reference.xml Wed Nov 3 02:27:47 2004
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.6 $ -->
+<!-- $Revision: 1.7 $ -->
<reference id="ref.readline">
<title>GNU Readline</title>
<titleabbrev>Readline</titleabbrev>
@@ -14,8 +14,8 @@
to use the arrow keys to insert characters or scroll through
command history. Because of the interactive nature of this
library, it will be of little use for writing Web applications,
- but may be useful when writing scripts meant
- <link linkend="features.commandline">using PHP from the command line</link>.
+ but may be useful when writing scripts used from a
+ <link linkend="features.commandline">command line</link>.
</para>
¬e.no-windows.extension;
</section>