[Pkg-ocaml-maint-commits] [why] 02/02: add krakatoa manpage

[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 014323331e345be298673e27d45a597fc531da94
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Oct 9 20:15:22 2016 +0200

    add krakatoa manpage
---
 debian/changelog    |  4 ++--
 debian/krakatoa.1   | 57 +++++++++++++++++++++++++++++++++++++++++++++++++++++
 debian/why.manpages |  1 +
 3 files changed, 60 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 118460b..d6a924e 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -32,14 +32,14 @@ why (2.36-1) UNRELEASED; urgency=medium
     - format version 4
     - get link to newest version from the krakatoa home page (instead of
       trying to read the download/ directory).
-  * Create manpage, based on the output of help2man, for jessie
+  * Create manpages, based on the output of help2man, for jessie and krakatoa
   * drop autoconf from d/rules and from build-dependencies
   * d/rules: disable upstream tests
   * d/rules: create bin directory before invoking dh_auto_build
   * d/tests: add test krakato+alt-ergo
   * remove d/README.source which is obsolete.
 
- -- Ralf Treinen <treinen at debian.org>  Thu, 06 Oct 2016 20:50:13 +0200
+ -- Ralf Treinen <treinen at debian.org>  Sun, 09 Oct 2016 20:18:21 +0200
 
 why (2.34-4) unstable; urgency=medium
 
diff --git a/debian/krakatoa.1 b/debian/krakatoa.1
new file mode 100644
index 0000000..6b924a5
--- /dev/null
+++ b/debian/krakatoa.1
@@ -0,0 +1,57 @@
+.TH KRAKATOA "1" "October 2016" " " "User Commands"
+.SH NAME
+Krakatoa \- a verification tool for Java programs.
+.SH SYNOPSIS
+\fBkrakatoa\fR [options] files
+.SH OPTIONS
+.TP
+\fB\-parse\-only\fR
+stops after parsing
+.TP
+\fB\-type\-only\fR
+stops after typing
+.TP
+\fB\-abstract\fR
+<file> stops after typing and output abstract view to <file>
+.TP
+\fB\-gen\-only\fR
+<file> stops after producing <file>.jc
+.TP
+\fB\-print\-call\-graph\fR
+stops after call graph and print call graph
+.TP
+\fB\-d\fR
+debugging mode
+.TP
+\fB\-why3\fR
+<why3 command>   (default: ide)
+.TP
+\fB\-v\fR
+verbose mode
+.TP
+\fB\-q\fR
+quiet mode (default)
+.TP
+\fB\-werror\fR
+treats warnings as errors
+.TP
+\fB\-version\fR
+prints version and exit
+.TP
+\fB\-javacard\fR
+source is Java Card
+.TP
+\fB\-nonnull\-sem\fR
+<kind> nonnull\-by\-default semantics: none (default), fields, all
+.TP
+\fB\-help\fR
+Display this list of options
+.TP
+\fB\-\-help\fR
+Display this list of options
+.SH "SEE ALSO"
+The tutorial and reference manual for
+.B krakatoa
+can be obtained at the address
+.B http://krakatoa.lri.fr/krakatoa.html	
+.PP
diff --git a/debian/why.manpages b/debian/why.manpages
index e2986a6..5d30292 100644
--- a/debian/why.manpages
+++ b/debian/why.manpages
@@ -1 +1,2 @@
 debian/jessie.1
+debian/krakatoa.1

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