[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. upstream/20081201.dfsg-15-gcdf3fd4

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit c16318acf54281a04a00871a4383da91b15ae75e
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Wed May 20 15:23:18 2009 +0200

    Update README.Debian

diff --git a/debian/README.Debian b/debian/README.Debian
index 0a552d3..e2d56bb 100644
--- a/debian/README.Debian
+++ b/debian/README.Debian
@@ -6,11 +6,11 @@ Several files and directories are deleted from upstream's tarball:
 - why/: exists in a Debian package and exports the jessie library
 - doc/manuals/: Documentation without sources.
 - cil/doc/: Documentation without sources.
-- src/impact : Proprietary code.
+- src/impact and src/security : Proprietary code.
 
 The shell script “purify_tarball” is used to make a dfsg-compliant tarball.
 
 configure.in and Makefile.in are patched to use what's installed by
 Debian packages.
 
- -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Sat, 8 May 2009 11:19:00 +0200
+ -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Tue, 12 May 2009 15:19:00 +0200

-- 
frama-c packaging