Changeset 4227 for trunk/scripts/debian/prerm
- Timestamp:
- 04/25/08 16:48:48 (5 months ago)
- Files:
-
- 1 modified
-
trunk/scripts/debian/prerm (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/scripts/debian/prerm
r4102 r4227 1 #!/bin/ bash1 #!/bin/sh 2 2 3 3 ## ================================================================ … … 11 11 echo "Uninstalling and de-registering Logtalk online documentation..." 12 12 13 if [ "$1" = remove -o "$1" = upgrade ]; then14 if which install-docs > /dev/null 2>&1; then13 if [ "$1" = "remove" ] || [ "$1" = "upgrade" ] ; then 14 if which install-docs > /dev/null 2>&1 ; then 15 15 install-docs -r logtalk-docs 16 16 fi
