nlopess Sun Dec 14 14:33:07 2003 EDT
Modified files:
/phpdoc/en/reference/readline reference.xml
Log:
fix #26619
Index: phpdoc/en/reference/readline/reference.xml
diff -u phpdoc/en/reference/readline/reference.xml:1.4
phpdoc/en/reference/readline/reference.xml:1.5
--- phpdoc/en/reference/readline/reference.xml:1.4 Mon Dec 2 07:55:38 2002
+++ phpdoc/en/reference/readline/reference.xml Sun Dec 14 14:33:07 2003
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.4 $ -->
+<!-- $Revision: 1.5 $ -->
<reference id="ref.readline">
<title>GNU Readline</title>
<titleabbrev>Readline</titleabbrev>
@@ -32,7 +32,7 @@
You can also use this functions with the libedit library, a non-GPL
replacement for the readline library. The libedit library is BSD
licensend and available for download from
- <ulink url="&url.readline;">&url.libedit;</ulink>.
+ <ulink url="&url.libedit;">&url.libedit;</ulink>.
</para>
</section>
