[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 db73b4cc89359ec281664c1a7414e4f98a34bfc3
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed Mar 10 20:10:30 2010 +0100

    created additional screens

diff --git a/debian/advi.install b/debian/advi.install
index e657292..24f78fe 100644
--- a/debian/advi.install
+++ b/debian/advi.install
@@ -1,2 +1,5 @@
 debian/jpfonts.conf		/etc/advi
 debian/utils/zadvi		/usr/bin
+doc/splash.dvi			/usr/share/advi/screens
+doc/scratch_draw_splash.dvi	/usr/share/advi/screens
+doc/scratch_write_splash.dvi	/usr/share/advi/screens
diff --git a/debian/changelog b/debian/changelog
index 3d85dc9..4453db2 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -3,8 +3,14 @@ advi (1.8-3) experimental; urgency=low
   * Dependency on ghostscript: >= 7.05
   * patch use-ghostscript: make configure believe that ghostscript is installed
     at compilation time.
-
- -- Ralf Treinen <treinen at debian.org>  Tue, 09 Mar 2010 23:09:20 +0100
+  * debian/control: Updated location of upstream homepage
+  * debian/watch: put new domain (advi.inria.fr)
+  * additional dvis referenced from advi:
+    - debian/rules: create them in the build target
+    - debian/advi.dirs: create directory /usr/share/advi/screens for them
+    - debian/advi.install: install them there
+  
+ -- Ralf Treinen <treinen at debian.org>  Wed, 10 Mar 2010 19:34:35 +0100
 
 advi (1.8-2) experimental; urgency=low
 
diff --git a/debian/control b/debian/control
index 0f628b7..54794bc 100644
--- a/debian/control
+++ b/debian/control
@@ -15,7 +15,7 @@ Build-Depends: debhelper (>= 7.0.50~), dh-ocaml (>= 0.9),
 Standards-Version: 3.8.4
 Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/advi.git
 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/advi.git
-Homepage: http://pauillac.inria.fr/advi/
+Homepage: http://advi.inria.fr/
 
 Package: advi
 Architecture: any
diff --git a/debian/rules b/debian/rules
index c809835..3923577 100755
--- a/debian/rules
+++ b/debian/rules
@@ -1,5 +1,8 @@
 #!/usr/bin/make -f
 
+# additional dvi documents to generate
+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)
 DEB_BUILD_ARCH      ?= $(shell dpkg-architecture -qDEB_BUILD_ARCH)
@@ -26,6 +29,7 @@ override_dh_auto_configure:
 
 override_dh_auto-build:
 	$(MAKE)
+	(cd doc; $MAKE $DVIS)
 
 override_dh_auto_install:
 	$(MAKE) install DESTDIR=$(CURDIR)/debian/advi
diff --git a/debian/watch b/debian/watch
index ee56360..077b701 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,3 +1,2 @@
 version=3
-http://pauillac.inria.fr/advi/ advi-(.*)\.tar\.gz
-
+http://advi.inria.fr/advi-(.*)\.tar\.gz

-- 
advi packaging