Fix list of RPMs needed for PHP.

diff --git a/gettext-tools/doc/ChangeLog b/gettext-tools/doc/ChangeLog
index 4e679c8b817bfd7848e45a62f671f41cf3e0b1d9..dc1a81389187225993adf510a689c0406da97bd0 100644 (file)
--- a/gettext-tools/doc/ChangeLog
+++ b/gettext-tools/doc/ChangeLog
@@ -1,3 +1,7 @@
+2003-10-11  Bruno Haible  <bruno@clisp.org>
+
+       * gettext.texi (PHP): Drop phplib from list of RPMs.
+
 2003-10-05  Bruno Haible  <bruno@clisp.org>
 
        * xgettext.texi (Language specific options): Renamed section. Document

diff --git a/gettext-tools/doc/gettext.texi b/gettext-tools/doc/gettext.texi
index 1eab41d416115fb34a486e6b5099de1f2a814b0b..01a4b909bfb5ac8351feb9e70c6bc2a1cceaa870 100644 (file)
--- a/gettext-tools/doc/gettext.texi
+++ b/gettext-tools/doc/gettext.texi
@@ -9282,7 +9282,7 @@ get executed.  Most of the time you will happily get along with
 
 @table @asis
 @item RPMs
-mod_php4, mod_php4-core, phplib, phpdoc
+mod_php4, mod_php4-core, phpdoc
 
 @item File extension
 @code{php}, @code{php3}, @code{php4}