[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. upstream/20081201-4-geb159a1

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit eb159a17e8401b34f22b34bb7516c9687b86f651
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Wed May 13 21:17:20 2009 +0200

    Typo

diff --git a/debian/man/template.xml b/debian/man/template.xml
index 34e3f24..19f89df 100644
--- a/debian/man/template.xml
+++ b/debian/man/template.xml
@@ -6,7 +6,7 @@
 ]>
 
 <!--**********************************************************************-->
-<!-- Mlnet manpage                                                        -->
+<!-- frama-c/frama-c-gui manpage                                          -->
 <!--                                                                      -->
 <!-- Copyright (C) 2003-2006 Sylvain Le Gall <gildor at debian.org>          -->
 <!--                    2009 Mehdi Dogguy <dogguy at pps.jussieu.fr>         -->

-- 
frama-c packaging