debian/postrm

   1 #!/bin/sh -e
   2 # postrm script for netris
   3 # copyright 2002++ by Gerfried Fuchs <rhonda@debian.at>
   4 # Licenced the same way as netris itself
   5
   6 if [ -x /usr/bin/update-menus ]; then
   7         update-menus
   8 fi