]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/helmpot/debian/postinst.debhelper
This commit was manufactured by cvs2svn to create branch 'start'.
[helm.git] / helm / helmpot / debian / postinst.debhelper
diff --git a/helm/helmpot/debian/postinst.debhelper b/helm/helmpot/debian/postinst.debhelper
new file mode 100644 (file)
index 0000000..ee14440
--- /dev/null
@@ -0,0 +1,7 @@
+# Automatically added by dh_installdocs
+if [ "$1" = "configure" ]; then
+       if [ -d /usr/doc -a ! -e /usr/doc/helmpot -a -d /usr/share/doc/helmpot ]; then
+               ln -sf ../share/doc/helmpot /usr/doc/helmpot
+       fi
+fi
+# End automatically added section