[Pkg-ocaml-maint-commits] [why] 02/02: fix synopsis in jessie(1)

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository why.

commit bd347b6932ab532811f9d52e4a5162dfaf06c97b
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed Oct 12 21:34:20 2016 +0200

    fix synopsis in jessie(1)
---
 debian/changelog | 3 ++-
 debian/jessie.1  | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 44d67b5..835d781 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,9 @@
 why (2.36-2) unstable; urgency=medium
 
   * dh invocation: use --no-parallel to fix FTBFS issues
+  * jessie manpage: fix synopsis
 
- -- Ralf Treinen <treinen at debian.org>  Wed, 12 Oct 2016 21:31:54 +0200
+ -- Ralf Treinen <treinen at debian.org>  Wed, 12 Oct 2016 21:33:30 +0200
 
 why (2.36-1) unstable; urgency=medium
 
diff --git a/debian/jessie.1 b/debian/jessie.1
index 0b392e4..8f69655 100644
--- a/debian/jessie.1
+++ b/debian/jessie.1
@@ -4,7 +4,7 @@ Jessie \- plugin of the Frama-C environment for static analysis of C
 code. It aims at deductive verification of behavioral properties of
 the code, specified using the ACSL language.
 .SH SYNOPSIS
-\fBjessie\fR [options] files
+\fBframa-c -jessie\fR [options] files
 .SH OPTIONS
 .TP
 \fB\-parse\-only\fR

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/why.git