[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, master, updated. debian/0.1.7.deb-3-8-g5ea07e4

[Eugeniy Meshcheryakov]

The following commit has been merged in the master branch:
commit cc179f6a8ddca93ec332957232cf41aebcc36935
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Mon May 11 02:03:50 2009 +0200

    Do not try to install some docs

diff --git a/debian/coccinelle.doc-base.options b/debian/coccinelle.doc-base.options
deleted file mode 100644
index c783094..0000000
--- a/debian/coccinelle.doc-base.options
+++ /dev/null
@@ -1,6 +0,0 @@
-Document: coccinelle-options
-Title: Coccinelle Usage
-Section: Programming
-
-Format: PDF
-Files: /usr/share/doc/coccinelle/options.pdf
diff --git a/debian/coccinelle.doc-base.syntax b/debian/coccinelle.doc-base.syntax
deleted file mode 100644
index 41c3d77..0000000
--- a/debian/coccinelle.doc-base.syntax
+++ /dev/null
@@ -1,6 +0,0 @@
-Document: coccinelle-syntax
-Title: The SmPL Grammar
-Section: Programming
-
-Format: PDF
-Files: /usr/share/doc/coccinelle/cocci_syntax.pdf
diff --git a/debian/docs b/debian/docs
index 943a259..d9919f2 100644
--- a/debian/docs
+++ b/debian/docs
@@ -1,7 +1,3 @@
 authors.txt
 credits.txt
 readme.txt
-
-docs/options.pdf
-docs/grammar/cocci_syntax.pdf
-docs/cocci-python.txt

-- 
Debian packaging for coccinelle