File: prerm

package info (click to toggle)
pine-docs 2000-09-02-2
  • links: PTS
  • area: non-free
  • in suites: woody
  • size: 128 kB
  • ctags: 6
  • sloc: sh: 39; makefile: 38
file content (7 lines) | stat: -rw-r--r-- 155 bytes parent folder | download 
1
2
3
4
5
6
7
 
#!/bin/sh
set -e
if [ "$1" = "remove" -o "$1" = "upgrade" ]; then
  if command -v install-docs >/dev/null 2>&1; then
    install-docs -r pine-docs
  fi
fi