]> matita.cs.unibo.it Git - helm.git/blob - helm/helmpot/debian/postinst.debhelper
This commit was manufactured by cvs2svn to create branch 'start'.
[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