[Pkg-ocaml-maint-commits] [SCM] advi packaging branch, experimental, updated. debian/1.8-1-37-gb52324d

[Ralf Treinen]

The following commit has been merged in the experimental branch:
commit 5091c877477509e7a455a15461e5d7c5b08d4a01
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed Mar 10 21:43:16 2010 +0100

    undo generation of splash suff

diff --git a/debian/advi.install b/debian/advi.install
index a316ff5..1bd0510 100644
--- a/debian/advi.install
+++ b/debian/advi.install
@@ -1,5 +1,5 @@
 debian/jpfonts.conf		/etc/advi
 debian/utils/zadvi		/usr/bin
-doc/splash.dvi			/usr/share/advi
-doc/scratch_draw_splash.dvi	/usr/share/advi
-doc/scratch_write_splash.dvi	/usr/share/advi
+#doc/splash.dvi			/usr/share/advi
+#doc/scratch_draw_splash.dvi	/usr/share/advi
+#doc/scratch_write_splash.dvi	/usr/share/advi
diff --git a/debian/rules b/debian/rules
index fc01521..cfb8aab 100755
--- a/debian/rules
+++ b/debian/rules
@@ -1,7 +1,7 @@
 #!/usr/bin/make -f
 
 # additional dvi documents to generate
-DVIS = splash.dvi scratch_draw_splash.dvi  scratch_write_splash.dvi
+# DVIS = splash.dvi scratch_draw_splash.dvi  scratch_write_splash.dvi
 
 DEB_HOST_GNU_TYPE   ?= $(shell dpkg-architecture -qDEB_HOST_GNU_TYPE)
 DEB_BUILD_GNU_TYPE  ?= $(shell dpkg-architecture -qDEB_BUILD_GNU_TYPE)
@@ -29,7 +29,7 @@ override_dh_auto_configure:
 
 override_dh_auto_build:
 	$(MAKE)
-	cd doc && $(MAKE) HAVE_HEVEA= $(DVIS)
+#	cd doc && $(MAKE) $(DVIS)
 
 override_dh_auto_install:
 	$(MAKE) install DESTDIR=$(CURDIR)/debian/advi
@@ -39,8 +39,8 @@ else
 	cd $(CURDIR)/debian/advi/usr/bin && mv -f advi.byt advi
 endif
 
-override_dh_auto_clean:
-	if [ -f Makefile ]; then $(MAKE) clean; fi
-	cd doc && rm -f $(DVIS) \
-		${DVIS:.dvi=.log} ${DVIS:.dvi=.aux} ${DVIS:.dvi=.out}
-	dh_clean
+#override_dh_auto_clean:
+#	if [ -f Makefile ]; then $(MAKE) clean; fi
+#	cd doc && rm -f $(DVIS) \
+#		${DVIS:.dvi=.log} ${DVIS:.dvi=.aux} ${DVIS:.dvi=.out}
+#	dh_clean

-- 
advi packaging