[Pkg-ocaml-maint-commits] [SCM] galax packaging branch, master, updated. debian/1.1-6-12-gd87eb43

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 6b3b183cbdcf52587cc0cfccfa8a7fc65d5d9f6d
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue May 18 20:30:04 2010 +0200

    Do not remove tarball-shipped doc/ on clean

diff --git a/debian/rules b/debian/rules
index 44d3d2b..fa15317 100755
--- a/debian/rules
+++ b/debian/rules
@@ -20,7 +20,9 @@ override_dh_auto_build:
 
 # remove .depend created during clean as they cause FTBFSs with -rsudo
 override_dh_auto_clean:
+	if [ -d doc ]; then mv doc doc.backup; fi
 	$(MAKE) clean
+	if [ -d doc.backup ]; then mv doc.backup doc; fi
 	rm -f .depend tools/escaping/.depend tools/ucs2_to_utf8/.depend
 
 override_dh_auto_install:

-- 
galax packaging