X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmlminidom%2Fdebian%2Frules;h=8fac22aeafa141b634f9a3adfb97130605ba7bb2;hb=e7e2a523299d807370b292b44e77f46fad1638c9;hp=f01db16c77242416231b3ccd79f85661285eb9ab;hpb=1ddd82e7c4d325be83ad62976a036b6f0ffbe0a1;p=helm.git

diff --git a/helm/DEVEL/mlminidom/debian/rules b/helm/DEVEL/mlminidom/debian/rules
index f01db16c7..8fac22aea 100755
--- a/helm/DEVEL/mlminidom/debian/rules
+++ b/helm/DEVEL/mlminidom/debian/rules
@@ -8,6 +8,8 @@
 # This is the debhelper compatability version to use.
 export DH_COMPAT=2
 
+UPSTREAM_CHANGELOG = ChangeLog
+
 configure: configure-stamp
 configure-stamp:
 	dh_testdir
@@ -22,7 +24,7 @@ build-stamp:
 
 	# Add here commands to compile the package.
 	$(MAKE)
-	-$(MAKE) opt
+	-test -x /usr/bin/ocamlopt && $(MAKE) opt
 	#/usr/bin/docbook-to-man debian/mlminidom.sgml > mlminidom.1
 
 	touch build-stamp
@@ -58,17 +60,21 @@ binary-arch: build install
 #	dh_installdebconf	
 	dh_installdocs
 	dh_installexamples
-	dh_installmenu
+# 	dh_installmenu
 #	dh_installlogrotate
 #	dh_installemacsen
 #	dh_installpam
 #	dh_installmime
 #	dh_installinit
-	dh_installcron
-	dh_installmanpages
-	dh_installinfo
+# 	dh_installcron
+# 	dh_installmanpages
+# 	dh_installinfo
 #	dh_undocumented
-	dh_installchangelogs ChangeLog
+	if [ -s $(UPSTREAM_CHANGELOG) ]; then \
+		dh_installchangelogs $(UPSTREAM_CHANGELOG); \
+	else \
+		dh_installchangelogs; \
+	fi
 	dh_link
 	dh_strip
 	dh_compress