[Pkg-ocaml-maint-commits] r2657 - /trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/

smimram at users.alioth.debian.org smimram at users.alioth.debian.org
Sat Apr 29 17:03:31 UTC 2006 

Author: smimram
Date: Sat Apr 29 17:03:29 2006
New Revision: 2657

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=2657
Log:
Finished the packaging before upload to experimental.

Added:
    trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.doc-base.rectutorial
      - copied, changed from r2649, trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.doc-base.tutorial
Modified:
    trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/changelog
    trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/control
    trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.dirs
    trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.doc-base.faq
    trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.doc-base.manual
    trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.doc-base.tutorial
    trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.docs
    trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-pdf.dirs
    trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-pdf.docs
    trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/rules

Modified: trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-doc/branches/8.0pl3%2B8.1alpha/debian/changelog?rev=2657&op=diff
==============================================================================
--- trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/changelog (original)
+++ trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/changelog Sat Apr 29 17:03:29 2006
@@ -3,7 +3,7 @@
   * The licensing issue is now solved. The new licence is OPL which is not
     DFSG-compatible. We're moving to non-free, closes: #294865.
   * Updated the copyright file.
-  * Split coq-doc into -html and -ps, closes: #266019.
+  * Split coq-doc into -html and -pdf, closes: #266019.
   * Using dpatch for handling patches.
   * Updated standards version to 3.6.2, no changes needed.
 

Modified: trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-doc/branches/8.0pl3%2B8.1alpha/debian/control?rev=2657&op=diff
==============================================================================
--- trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/control (original)
+++ trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/control Sat Apr 29 17:03:29 2006
@@ -3,7 +3,8 @@
 Priority: optional
 Maintainer: Samuel Mimram <smimram at debian.org>
 Standards-Version: 3.6.2
-Build-Depends-Indep: debhelper (>= 4.0.0), dpatch, tetex-bin, hevea (>= 1.05), coq
+Build-Depends: debhelper (>= 4.0.0), dpatch
+Build-Depends-Indep: tetex-bin, hevea (>= 1.05), coq (>= 8.0)
 
 Package: coq-doc
 Architecture: all

Modified: trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.dirs
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-doc/branches/8.0pl3%2B8.1alpha/debian/coq-doc-html.dirs?rev=2657&op=diff
==============================================================================
--- trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.dirs (original)
+++ trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.dirs Sat Apr 29 17:03:29 2006
@@ -1,2 +1,2 @@
 usr/share/doc/coq
-usr/share/doc/coq-doc-html
+usr/share/doc/coq-doc-html/refman

Modified: trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.doc-base.faq
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-doc/branches/8.0pl3%2B8.1alpha/debian/coq-doc-html.doc-base.faq?rev=2657&op=diff
==============================================================================
--- trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.doc-base.faq (original)
+++ trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.doc-base.faq Sat Apr 29 17:03:29 2006
@@ -5,5 +5,5 @@
 Section: Apps/Math
 
 Format: HTML
-Index: /usr/share/doc/coq-doc-html/faq.html
-Files: /usr/share/doc/coq-doc-html/faq.html
+Index: /usr/share/doc/coq-doc-html/FAQ.v.html
+Files: /usr/share/doc/coq-doc-html/FAQ.v.html

Modified: trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.doc-base.manual
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-doc/branches/8.0pl3%2B8.1alpha/debian/coq-doc-html.doc-base.manual?rev=2657&op=diff
==============================================================================
--- trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.doc-base.manual (original)
+++ trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.doc-base.manual Sat Apr 29 17:03:29 2006
@@ -5,5 +5,5 @@
 Section: Apps/Math
 
 Format: HTML
-Index: /usr/share/doc/coq-doc-html/manual/index.html
-Files: /usr/share/doc/coq-doc-html/manual/*.html
+Index: /usr/share/doc/coq-doc-html/refman/index.html
+Files: /usr/share/doc/coq-doc-html/refman/*.html

Copied: trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.doc-base.rectutorial (from r2649, trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.doc-base.tutorial)
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-doc/branches/8.0pl3%2B8.1alpha/debian/coq-doc-html.doc-base.rectutorial?rev=2657&op=diff
==============================================================================
--- trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.doc-base.tutorial (original)
+++ trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.doc-base.rectutorial Sat Apr 29 17:03:29 2006
@@ -1,9 +1,9 @@
 Document: coq-tutorial
-Title: The Coq Proof Assistant -- A Tutorial
-Author: Gérard Huet, Gilles Kahn and Christine Paulin-Mohring
-Abstract: This documents presents in the most elementary manner a tutorial on the basic specification language of the Coq proof-assistant, called Gallina, in which formal axiomatisations may be developed, and on the main proof tools.
-Section: Apps/Math
+Title: The Coq Proof Assistant -- A Tutorial on [Co-]Inductive types in Coq
+Author: Eduardo Giménez and Pierre Castéran
+Abstract: This document is an introduction to the définition and use of inductive and co-inductive types in the Coq proof environment. It explains how types like natural numbers and infinite streams are defined in Coq, and the kind of proof techniques that can be used to reason about them (case analysis, induction, inversion of predicates, co-induction, etc). Each technique is illustrated through an executable and self-contained Coq script.
+tion: Apps/Math
 
 Format: HTML
-Index: /usr/share/doc/coq-doc-html/tutorial.html
-Files: /usr/share/doc/coq-doc-html/tutorial.html
+Index: /usr/share/doc/coq-doc-html/RecTutorial.v.html
+Files: /usr/share/doc/coq-doc-html/RecTutorial.v.html

Modified: trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.doc-base.tutorial
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-doc/branches/8.0pl3%2B8.1alpha/debian/coq-doc-html.doc-base.tutorial?rev=2657&op=diff
==============================================================================
--- trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.doc-base.tutorial (original)
+++ trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.doc-base.tutorial Sat Apr 29 17:03:29 2006
@@ -5,5 +5,5 @@
 Section: Apps/Math
 
 Format: HTML
-Index: /usr/share/doc/coq-doc-html/tutorial.html
-Files: /usr/share/doc/coq-doc-html/tutorial.html
+Index: /usr/share/doc/coq-doc-html/Tutorial.v.html
+Files: /usr/share/doc/coq-doc-html/Tutorial.v.html

Modified: trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.docs
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-doc/branches/8.0pl3%2B8.1alpha/debian/coq-doc-html.docs?rev=2657&op=diff
==============================================================================
--- trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.docs (original)
+++ trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.docs Sat Apr 29 17:03:29 2006
@@ -1,4 +1,0 @@
-library
-manual
-tutorial.html
-faq.html

Modified: trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-pdf.dirs
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-doc/branches/8.0pl3%2B8.1alpha/debian/coq-doc-pdf.dirs?rev=2657&op=diff
==============================================================================
--- trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-pdf.dirs (original)
+++ trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-pdf.dirs Sat Apr 29 17:03:29 2006
@@ -1,2 +1,2 @@
 usr/share/doc/coq
-usr/share/doc/coq-doc-ps
+usr/share/doc/coq-doc-pdf

Modified: trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-pdf.docs
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-doc/branches/8.0pl3%2B8.1alpha/debian/coq-doc-pdf.docs?rev=2657&op=diff
==============================================================================
--- trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-pdf.docs (original)
+++ trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-pdf.docs Sat Apr 29 17:03:29 2006
@@ -1,3 +1,4 @@
-Reference-Manual.ps.gz
-Syntax-v8.ps.gz
-Translator.ps.gz
+tutorial/Tutorial.v.pdf
+refman/Reference-Manual.pdf
+faq/FAQ.v.pdf
+RecTutorial/RecTutorial.v.pdf

Modified: trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/rules
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-doc/branches/8.0pl3%2B8.1alpha/debian/rules?rev=2657&op=diff
==============================================================================
--- trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/rules (original)
+++ trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/rules Sat Apr 29 17:03:29 2006
@@ -6,6 +6,8 @@
 
 # We want to use dpatch
 include /usr/share/dpatch/dpatch.make
+
+HTMLDEST := $(CURDIR)/debian/coq-doc-html/usr/share/doc/coq-doc-html/
 
 build: patch-stamp
 	$(MAKE) tutorial/Tutorial.v.html refman/html/index.html faq/html/index.html RecTutorial/RecTutorial.v.html
@@ -23,10 +25,13 @@
 	dh_installdirs
 
 	dh_installdocs
-	cd debian/coq-doc-html/usr/share/doc/coq-doc-html/manual; ln -s main.html index.html
-	cd debian/coq-doc-html/usr/share/doc/coq; ln -s ../coq-doc-html html;
-	cd debian/coq-doc-ps/usr/share/doc/coq;   ln -s ../coq-doc-ps   ps
-	cd debian/coq-doc/usr/share/doc/coq-doc; ln -s ../coq-doc-html html; ln -s ../coq-doc-ps ps
+	cp tutorial/Tutorial.v.html $(HTMLDEST)
+	cp refman/*.html $(HTMLDEST)/refman
+	cp faq/FAQ.v.html $(HTMLDEST)
+	cp RecTutorial/RecTutorial.v.html $(HTMLDEST)
+	cd debian/coq-doc-html/usr/share/doc/coq; ln -s ../coq-doc-html html
+	cd debian/coq-doc-pdf/usr/share/doc/coq;  ln -s ../coq-doc-pdf  pdf
+	cd debian/coq-doc/usr/share/doc/coq-doc;  ln -s ../coq-doc-html html; ln -s ../coq-doc-pdf pdf
 
 	touch install-stamp
 
@@ -41,7 +46,7 @@
 	dh_installchangelogs
 	dh_link
 	dh_strip
-	dh_compress
+	dh_compress -X.pdf
 	dh_fixperms
 	dh_installdeb
 	dh_gencontrol

More information about the Pkg-ocaml-maint-commits mailing list