aboutsummaryrefslogtreecommitdiff
path: root/x11-toolkits/php-gtk2/pkg-message
diff options
context:
space:
mode:
Diffstat (limited to 'x11-toolkits/php-gtk2/pkg-message')
-rw-r--r--x11-toolkits/php-gtk2/pkg-message7
1 files changed, 0 insertions, 7 deletions
diff --git a/x11-toolkits/php-gtk2/pkg-message b/x11-toolkits/php-gtk2/pkg-message
deleted file mode 100644
index d63588fbbc56..000000000000
--- a/x11-toolkits/php-gtk2/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.