diff options
| author | steve <steve@FreeBSD.org> | 1998-10-20 09:33:42 +0800 |
|---|---|---|
| committer | steve <steve@FreeBSD.org> | 1998-10-20 09:33:42 +0800 |
| commit | a4b2f971ba73b7f0b1bdd4d9926bf0714b6acea7 (patch) | |
| tree | 92c3def22c9f537050bf2581b78daa175f9f0bcb /devel | |
| parent | 6eefbf2706d8780592f1c78d3cedcd711302536d (diff) | |
| download | freebsd-ports-gnome-a4b2f971ba73b7f0b1bdd4d9926bf0714b6acea7.tar.gz freebsd-ports-gnome-a4b2f971ba73b7f0b1bdd4d9926bf0714b6acea7.tar.zst freebsd-ports-gnome-a4b2f971ba73b7f0b1bdd4d9926bf0714b6acea7.zip | |
Make this deinstall cleanly.
Diffstat (limited to 'devel')
| -rw-r--r-- | devel/gindent/pkg-plist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/gindent/pkg-plist b/devel/gindent/pkg-plist index 491c97e461a9..34b7a1677540 100644 --- a/devel/gindent/pkg-plist +++ b/devel/gindent/pkg-plist @@ -1,5 +1,5 @@ bin/indent -info/indent.info @unexec install-info --delete %D/info/indent.info %D/info/dir +info/indent.info @exec [ -f %D/info/dir ] || sed -ne '1,/Menu:/p' /usr/share/info/dir > %D/info/dir @exec install-info %D/info/indent.info %D/info/dir |