[Pkg-ocaml-maint-commits] r2649 - in /trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian: control coq-doc-pdf.dirs coq-doc-pdf.docs coq-doc-ps.dirs coq-doc-ps.docs

[smimram at users.alioth.debian.org]

Author: smimram
Date: Fri Apr 28 18:22:47 2006
New Revision: 2649

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=2649
Log:
s/ps/pdf/.

Added:
    trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-pdf.dirs
      - copied unchanged from r2648, trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-ps.dirs
    trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-pdf.docs
      - copied unchanged from r2648, trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-ps.docs
Removed:
    trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-ps.dirs
    trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-ps.docs
Modified:
    trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/control

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=2649&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 Fri Apr 28 18:22:47 2006
@@ -7,7 +7,7 @@
 
 Package: coq-doc
 Architecture: all
-Depends: coq-doc-html, coq-doc-ps
+Depends: coq-doc-html, coq-doc-pdf
 Description: documentation for Coq in html format
  Coq is a proof assistant for higher-order logic, which allows the
  development of computer programs consistent with their formal
@@ -28,13 +28,13 @@
  .
  This package contains its documentation and tutorials in html format.
 
-Package: coq-doc-ps
+Package: coq-doc-pdf
 Architecture: all
 Replaces: coq-doc (<= 8.0pl1.0-1)
-Description: documentation for Coq in postscript format
+Description: documentation for Coq in pdf format
  Coq is a proof assistant for higher-order logic, which allows the
  development of computer programs consistent with their formal
  specification. It is developed using Objective Caml and Camlp4.
  For more information, see <http://coq.inria.fr/>.
  .
- This package contains its documentation and tutorials in postscript format.
+ This package contains its documentation and tutorials in pdf format.