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

Mehdi Dogguy dogguy at pps.jussieu.fr
Mon May 18 14:14:39 UTC 2009


The following commit has been merged in the master branch:
commit 82c6f9aad0392dc188f579c0161c8cc9b8c87624
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Mon May 18 16:14:35 2009 +0200

    Typo in description

diff --git a/debian/man/frama-c-gui.1 b/debian/man/frama-c-gui.1
index d49496d..981feca 100644
--- a/debian/man/frama-c-gui.1
+++ b/debian/man/frama-c-gui.1
@@ -19,7 +19,7 @@
 .\" * MAIN CONTENT STARTS HERE *
 .\" -----------------------------------------------------------------
 .SH "NAME"
-frama-c-gui \- Framework for source code analysis of software written in C Framework dedicated to the analysis of the source code of software written in C
+frama-c-gui \- Framework for source code analysis of software written in C
 .SH "SYNOPSIS"
 .HP \w'\fBframa\-c\-gui\fR\ 'u
 \fBframa\-c\-gui\fR [options] [files\&.\&.\&.]
diff --git a/debian/man/frama-c.1 b/debian/man/frama-c.1
index 3c55a66..6165333 100644
--- a/debian/man/frama-c.1
+++ b/debian/man/frama-c.1
@@ -19,7 +19,7 @@
 .\" * MAIN CONTENT STARTS HERE *
 .\" -----------------------------------------------------------------
 .SH "NAME"
-frama-c \- Framework for source code analysis of software written in C Framework dedicated to the analysis of the source code of software written in C
+frama-c \- Framework for source code analysis of software written in C
 .SH "SYNOPSIS"
 .HP \w'\fBframa\-c\fR\ 'u
 \fBframa\-c\fR [options] [files\&.\&.\&.]
diff --git a/debian/man/template.xml b/debian/man/template.xml
index 3b53ef5..ffde579 100644
--- a/debian/man/template.xml
+++ b/debian/man/template.xml
@@ -31,8 +31,6 @@
     <refname>&dhprg;</refname>
 
     <refpurpose>Framework for source code analysis of software written in C
-      Framework dedicated to the analysis of the source code of software written
-      in C
     </refpurpose>
   </refnamediv>
 

-- 
frama-c packaging



More information about the Pkg-ocaml-maint-commits mailing list