File: prerm

package info (click to toggle)
gnugo-dv 3.1.27-1
  • links: PTS
  • area: main
  • in suites: woody
  • size: 6,724 kB
  • ctags: 3,307
  • sloc: ansic: 46,051; perl: 1,303; sh: 710; makefile: 578; tcl: 401; lisp: 193
file content (7 lines) | stat: -rw-r--r-- 180 bytes parent folder | download
1
2
3
4
5
6
7
#!/bin/sh -e

if [ "$1" = remove ]; then
    install-info --quiet --remove /usr/share/info/gnugo.info
    pkg=gnugo-dv
    if [ -L /usr/doc/$pkg ]; then rm -f /usr/doc/$pkg; fi
fi