diff options
author | Matthew Seaman <matthew@FreeBSD.org> | 2013-12-17 13:54:02 +0000 |
---|---|---|
committer | Matthew Seaman <matthew@FreeBSD.org> | 2013-12-17 13:54:02 +0000 |
commit | c089d48fb675c62eeb399fb4d3660b3200a934d9 (patch) | |
tree | ba9c73a790fec69313bc89ed513a94f9f540c2d4 /net/phpldapadmin/files | |
parent | Blob Wars : Metal Blob Solid is a platform game, not unlike those found on (diff) |
Drop the SUPHP option as the www/suphp port has expired.
General cleanup:
pkg-install and pkg-deinstall scripts were redundant, as they
replicated @exec / @unexec actions from pkg-plist.
Fix DEVELOPER_MODE complaint about shebangfix: it's a Makefile, not
a shell script in any case.
PR: ports/184925
Submitted by: rene
Notes
Notes:
svn path=/head/; revision=336724
Diffstat (limited to 'net/phpldapadmin/files')
-rw-r--r-- | net/phpldapadmin/files/patch-tools__po__Makefile | 7 | ||||
-rw-r--r-- | net/phpldapadmin/files/pkg-deinstall.in | 26 |
2 files changed, 7 insertions, 26 deletions
diff --git a/net/phpldapadmin/files/patch-tools__po__Makefile b/net/phpldapadmin/files/patch-tools__po__Makefile new file mode 100644 index 000000000000..cacbef161c54 --- /dev/null +++ b/net/phpldapadmin/files/patch-tools__po__Makefile @@ -0,0 +1,7 @@ +--- ./tools/po/Makefile.orig 2013-12-17 10:35:33.849229663 +0000 ++++ ./tools/po/Makefile 2013-12-17 10:35:42.989230589 +0000 +@@ -1,4 +1,3 @@ +-#!/bin/bash + # + # Makefile Utility to manipulate PO and POT files + # Copyright (c) 2009 Alessandro De Zorzi - <lota@nonlontano.it> diff --git a/net/phpldapadmin/files/pkg-deinstall.in b/net/phpldapadmin/files/pkg-deinstall.in deleted file mode 100644 index abdf9fe5b5aa..000000000000 --- a/net/phpldapadmin/files/pkg-deinstall.in +++ /dev/null @@ -1,26 +0,0 @@ -#!/bin/sh -# -# $FreeBSD: /tmp/pcvs/ports/net/phpldapadmin/files/pkg-deinstall.in,v 1.3 2009-12-24 20:50:22 miwi Exp $ -# - -case $2 in - POST-DEINSTALL) - cat <<EOMSG -The phpldapadmin-suphp port has been deleted. -If you are not upgrading and don't intend to use -phpldapadmin any more then you may wish to delete -the %%PLA_USR%% account, which can be done with -the following command: - - # pw userdel %%PLA_USR%% -EOMSG - if [ -d %%WWWDIR%% ] ; then - echo " # rm -rf %%WWWDIR%%/" - fi - echo - ;; -esac - -# -# That's All Folks! -# |