]> matita.cs.unibo.it Git - helm.git/blob - helm/helmpot/debian/postinst.debhelper
ee14440c47b4690113fecf0d65f05cfa5de19458
[helm.git] / helm / helmpot / debian / postinst.debhelper
1 # Automatically added by dh_installdocs
2 if [ "$1" = "configure" ]; then
3         if [ -d /usr/doc -a ! -e /usr/doc/helmpot -a -d /usr/share/doc/helmpot ]; then
4                 ln -sf ../share/doc/helmpot /usr/doc/helmpot
5         fi
6 fi
7 # End automatically added section