sizzle/sizzle.install

   1 post_install() {
   2 echo "Adding Info-File"
   3 install-info /usr/share/info/sizzle-ref.info /usr/share/info/dir
   4 install-info /usr/share/info/sizzle-embed.info /usr/share/info/dir
   5 /bin/true
   6 }
   7
   8 post_upgrade() {
   9 echo "Adding Info-File"
  10 install-info /usr/share/info/sizzle-ref.info /usr/share/info/dir
  11 install-info /usr/share/info/sizzle-embed.info /usr/share/info/dir
  12 /bin/true
  13 }
  14
  15 pre_remove() {
  16 echo "Removing entry in dir-file (info)"
  17 install-info --delete /usr/share/info/sizzle-ref.info /usr/share/info/dir
  18 install-info --delete /usr/share/info/sizzle-embed.info /usr/share/info/dir
  19 }
  20
  21 op=$1
  22 shift
  23 $op $*