[Pkg-ocaml-maint-commits] r4173 - in /trunk/packages/coq-float/trunk/debian: changelog dirs rules

[smimram at users.alioth.debian.org]

Author: smimram
Date: Sun Aug 19 00:43:59 2007
New Revision: 4173

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=4173
Log:
Initial upload.

Modified:
    trunk/packages/coq-float/trunk/debian/changelog
    trunk/packages/coq-float/trunk/debian/dirs
    trunk/packages/coq-float/trunk/debian/rules

Modified: trunk/packages/coq-float/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-float/trunk/debian/changelog?rev=4173&op=diff
==============================================================================
--- trunk/packages/coq-float/trunk/debian/changelog (original)
+++ trunk/packages/coq-float/trunk/debian/changelog Sun Aug 19 00:43:59 2007
@@ -1,5 +1,5 @@
 coq-float (2001-1) unstable; urgency=low
 
-  * Initial release (Closes: #nnnn)  <nnnn is the bug number of your ITP>
+  * Initial release, closes: #438613.
 
  -- Samuel Mimram <smimram at debian.org>  Fri, 10 Aug 2007 14:48:56 +0000

Modified: trunk/packages/coq-float/trunk/debian/dirs
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-float/trunk/debian/dirs?rev=4173&op=diff
==============================================================================
--- trunk/packages/coq-float/trunk/debian/dirs (original)
+++ trunk/packages/coq-float/trunk/debian/dirs Sun Aug 19 00:43:59 2007
@@ -1,1 +1,2 @@
 usr/lib/coq/user-contrib
+usr/share/doc/libfloat-coq/html

Modified: trunk/packages/coq-float/trunk/debian/rules
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-float/trunk/debian/rules?rev=4173&op=diff
==============================================================================
--- trunk/packages/coq-float/trunk/debian/rules (original)
+++ trunk/packages/coq-float/trunk/debian/rules Sun Aug 19 00:43:59 2007
@@ -18,12 +18,13 @@
 
 
 build: build-stamp
-build-stamp: configure-stamp 
+build-stamp: configure-stamp
 	dh_testdir
 
 	coq_makefile *.v > Makefile
 	$(MAKE) depend
 	$(MAKE) all
+	$(MAKE) html
 
 	touch $@
 
@@ -32,24 +33,25 @@
 	dh_testroot
 	rm -f build-stamp configure-stamp
 
-	-$(MAKE) clean
+	[ ! -f Makefile ] || $(MAKE) clean
 
-	dh_clean 
+	dh_clean
 
 install: build
 	dh_testdir
 	dh_testroot
-	dh_clean -k 
+	dh_clean -k
 	dh_installdirs
 
 	cp $(wildcard *.vo) $(DESTDIR)
+	cp $(wildcard *.html) debian/libfloat-coq/usr/share/doc/libfloat-coq/html
 
 binary-indep: build install
 
 binary-arch: build install
 	dh_testdir
 	dh_testroot
-	dh_installchangelogs 
+	dh_installchangelogs
 	dh_installdocs
 	dh_installexamples
 	dh_installman