diff options
Diffstat (limited to 'x11-toolkits/php-gtk/pkg-message')
| -rw-r--r-- | x11-toolkits/php-gtk/pkg-message | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/x11-toolkits/php-gtk/pkg-message b/x11-toolkits/php-gtk/pkg-message deleted file mode 100644 index d63588fbbc56..000000000000 --- a/x11-toolkits/php-gtk/pkg-message +++ /dev/null @@ -1,7 +0,0 @@ -The port has now been installed. Be sure to adjust the config-file -in e.g. ${PREFIX}/etc/php.gtk/php.ini. -Eventually, you must set the correct 'extension_dir'-path in php.ini. - -For convenience put something like -"alias gtkphp='php -c ${PREFIX}/etc/php.gtk/'" -in your .profile. |