[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