diff options
Diffstat (limited to 'packages/debian/puredata.preinst')
| -rw-r--r-- | packages/debian/puredata.preinst | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/packages/debian/puredata.preinst b/packages/debian/puredata.preinst deleted file mode 100644 index cc3f5b80..00000000 --- a/packages/debian/puredata.preinst +++ /dev/null @@ -1,10 +0,0 @@ -#! /bin/sh - -#DEBHELPER# - -if [ -d /usr/lib/pd/doc/1.manual ] -then - rm -r /usr/lib/pd/doc/1.manual -fi - - |