[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle annotated tag, debian/0.2.3.deb-1, created. debian/0.2.3.deb-1

[Eugeniy Meshcheryakov]

The annotated tag, debian/0.2.3.deb-1 has been created
        at  263ab25efb1539a5a139af7ed7b4fe5687a32c60 (tag)
   tagging  f3e11714cbe3340e43c1469f35859e73f2079428 (commit)
  replaces  debian/0.2.2.deb-2
 tagged by  Eugeniy Meshcheryakov
        on  Sun Jul 25 17:37:46 2010 +0200

- Shortlog ------------------------------------------------------------
Debian release 0.2.3.deb-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEABECAAYFAkxMWkoACgkQKaC6+zmozOKnowCfcqIfEC/c7wLjPToZpXyY3C91
VtEAnRL/wGvthCEeM4sTEgjld6y8s0Gl
=eegD
-----END PGP SIGNATURE-----

Eugeniy Meshcheryakov (19):
      Do not remove docs/manual after license clarification
      Remove pyc files
      Imported Upstream version 0.2.3.deb
      Merge commit 'upstream/0.2.3.deb'
      New upstream release
      Removed patches:
      documentation-paths.diff - the manpage does not contain absolute paths anymore
      Fix patch temporarily
      Override clean subdirectories
      New patches:
      documentation-build.diff - build documentation, authors clarified that it does not contain Front/Back Covers and Invariant Sections
      Fix documentation build on native architectures
      Build and install pdf docs
      build-depend on texlive-latex-base, texlive-latex-recommended, texlive-latex-extra, texlive-fonts-recommended, texlive-fonts-extra
      Do not compress .pdf .cocci and .c files
      Add information about manual license (GFDL-1.3+) into debian/copyright
      Standards-Version 3.9.0 — no changes required
      Install the bash completion file
      Register pdfs with doc-base

-----------------------------------------------------------------------

-- 
Debian packaging for coccinelle