[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 cdf3fd412b8668201510e6a2404f1b56bea296d7
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Wed May 20 15:32:25 2009 +0200

    Close opened files in debian/man/generate-man

diff --git a/debian/man/generate-man b/debian/man/generate-man
index 38990c1..a397f3b 100755
--- a/debian/man/generate-man
+++ b/debian/man/generate-man
@@ -91,3 +91,7 @@ while (<XML>) {
 	print NEW;
     }
 }
+
+close (HELP);
+close (XML);
+close (NEW);

-- 
frama-c packaging