[berkeley-abc] 01/01: Import changes uploaded using dgit
Ruben Undheim
rubund-guest at moszumanska.debian.org
Sat Aug 22 19:59:26 UTC 2015
This is an automated email from the git hooks/post-receive script.
rubund-guest pushed a commit to branch master
in repository berkeley-abc.
commit 73a84f6f509f92feaabb820d3b37bfdb98ab265b
Author: Ruben Undheim <ruben.undheim at gmail.com>
Date: Sat Aug 22 21:58:37 2015 +0200
Import changes uploaded using dgit
- Use txt2man to generate man page
---
debian/berkeley-abc.1 | 42 -------------------------
debian/berkeley-abc.manpages | 2 +-
debian/changelog | 8 +++++
debian/man/berkeley-abc.1 | 74 ++++++++++++++++++++++++++++++++++++++++++++
debian/man/berkeley-abc.txt | 30 ++++++++++++++++++
debian/man/genmanpages.sh | 4 +++
6 files changed, 117 insertions(+), 43 deletions(-)
diff --git a/debian/berkeley-abc.1 b/debian/berkeley-abc.1
deleted file mode 100644
index 9fa0724..0000000
--- a/debian/berkeley-abc.1
+++ /dev/null
@@ -1,42 +0,0 @@
-.\" Hey, EMACS: -*- nroff -*-
-.\" First parameter, NAME, should be all caps
-.\" Second parameter, SECTION, should be 1-8, maybe w/ subsection
-.\" other parameters are allowed: see man(7), man(1)
-.TH BERKELEY-ABC 1 "September 14, 2014"
-.\" Please adjust this date whenever revising the manpage.
-.\"
-.\" Some roff macros, for reference:
-.\" .nh disable hyphenation
-.\" .hy enable hyphenation
-.\" .ad l left justify
-.\" .ad b justify to both left and right margins
-.\" .nf disable filling
-.\" .fi enable filling
-.\" .br insert line break
-.\" .sp <n> insert n+1 empty lines
-.\" for manpage-specific macros, see man(7)
-.SH NAME
-berkeley-abc \- A System for Sequential Synthesis and Verification
-.SH SYNOPSIS
-.B berkeley-abc
-.RI [ options ] " <infile>"
-.br
-.SH DESCRIPTION
-This manual page documents briefly the
-.B berkeley-abc
-command.
-.PP
-.\" TeX users may be more comfortable with the \fB<whatever>\fP and
-.\" \fI<whatever>\fP escape sequences to invode bold face and italics,
-.\" respectively.
-\fBberkeley-abc\fP is a program that synthesizes RTL to gate-level logic.
-.SH OPTIONS
-A summary of options is included below.
-.\".TP
-.\".B \-q
-.\"quiet operation. only write error message to console
-.SH AUTHOR
-berkeley-abc was written by Berkeley Logic Synthesis and Verification Group.
-.PP
-This manual page was written by Ruben Undheim <ruben.undheim at gmail.com>,
-for the Debian project (and may be used by others).
diff --git a/debian/berkeley-abc.manpages b/debian/berkeley-abc.manpages
index 2d2e5b1..5f8e787 100644
--- a/debian/berkeley-abc.manpages
+++ b/debian/berkeley-abc.manpages
@@ -1 +1 @@
-debian/berkeley-abc.1
+debian/man/berkeley-abc.1
diff --git a/debian/changelog b/debian/changelog
index e36dc13..6887980 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,11 @@
+berkeley-abc (1.01+20150706hgc3698e0+dfsg-2) unstable; urgency=low
+
+ * debian/man:
+ - Added more sensible info in man page
+ - Using txt2man to generate man page from .txt file
+
+ -- Ruben Undheim <ruben.undheim at gmail.com> Sat, 22 Aug 2015 21:36:28 +0200
+
berkeley-abc (1.01+20150706hgc3698e0+dfsg-1) unstable; urgency=low
* New upstream version
diff --git a/debian/man/berkeley-abc.1 b/debian/man/berkeley-abc.1
new file mode 100644
index 0000000..bed1e5a
--- /dev/null
+++ b/debian/man/berkeley-abc.1
@@ -0,0 +1,74 @@
+.\" Text automatically generated by txt2man
+.TH BERKELEY-ABC 1 "22 August 2015" "" ""
+.SH NAME
+\fBberkeley-abc \fP- A System for Sequential Synthesis and Verification
+\fB
+.SH SYNOPSIS
+.nf
+.fam C
+\fBberkeley-abc\fP [\fB-c\fP \fIcmd\fP] [\fB-f\fP \fIscript\fP] [\fB-h\fP] [\fB-o\fP \fIfile\fP] [\fB-s\fP] [\fB-t\fP \fItype\fP] [\fB-T\fP \fItype\fP] [\fB-x\fP] [\fB-b\fP] <\fIfile\fP>
+
+.fam T
+.fi
+.fam T
+.fi
+.SH DESCRIPTION
+This manual page documents briefly the \fBberkeley-abc\fP command.
+.PP
+\fBberkeley-abc\fP is a program that synthesizes RTL to gate-level logic.
+.SH OPTIONS
+.TP
+.B
+\fB-c\fP \fIcmd\fP
+execute commands `\fIcmd\fP'
+.TP
+.B
+\fB-q\fP \fIcmd\fP
+execute commands `\fIcmd\fP' quietly
+.TP
+.B
+\fB-C\fP \fIcmd\fP
+execute commands `\fIcmd\fP', then continue in interactive mode
+.TP
+.B
+\fB-F\fP \fIscript\fP
+execute commands from a \fIscript\fP \fIfile\fP and echo commands
+.TP
+.B
+\fB-f\fP \fIscript\fP
+execute commands from a \fIscript\fP \fIfile\fP
+.TP
+.B
+\fB-h\fP
+print the command usage
+.TP
+.B
+\fB-o\fP \fIfile\fP
+specify output filename to store the result
+.TP
+.B
+\fB-s\fP
+do not read any initialization \fIfile\fP
+.TP
+.B
+\fB-t\fP \fItype\fP
+specify input \fItype\fP (blif_mv (default), blif_mvs, blif, or none)
+.TP
+.B
+\fB-T\fP \fItype\fP
+specify output \fItype\fP (blif_mv (default), blif_mvs, blif, or none)
+.TP
+.B
+\fB-x\fP
+equivalent to '\fB-t\fP none \fB-T\fP none'
+.TP
+.B
+\fB-b\fP
+running in bridge mode
+.RE
+.PP
+
+
+
+.SH AUTHOR
+This manual page was written by Ruben Undheim <ruben.undheim at gmail.com> for the Debian project (and may be used by others).
diff --git a/debian/man/berkeley-abc.txt b/debian/man/berkeley-abc.txt
new file mode 100644
index 0000000..f970ab9
--- /dev/null
+++ b/debian/man/berkeley-abc.txt
@@ -0,0 +1,30 @@
+NAME
+ berkeley-abc - A System for Sequential Synthesis and Verification
+
+SYNOPSIS
+ berkeley-abc [-c cmd] [-f script] [-h] [-o file] [-s] [-t type] [-T type] [-x] [-b] <file>
+
+DESCRIPTION
+ This manual page documents briefly the berkeley-abc command.
+
+ berkeley-abc is a program that synthesizes RTL to gate-level logic.
+
+OPTIONS
+ -c cmd execute commands `cmd'
+ -q cmd execute commands `cmd' quietly
+ -C cmd execute commands `cmd', then continue in interactive mode
+ -F script execute commands from a script file and echo commands
+ -f script execute commands from a script file
+ -h print the command usage
+ -o file specify output filename to store the result
+ -s do not read any initialization file
+ -t type specify input type (blif_mv (default), blif_mvs, blif, or none)
+ -T type specify output type (blif_mv (default), blif_mvs, blif, or none)
+ -x equivalent to '-t none -T none'
+ -b running in bridge mode
+
+
+
+
+AUTHOR
+ This manual page was written by Ruben Undheim <ruben.undheim at gmail.com> for the Debian project (and may be used by others).
diff --git a/debian/man/genmanpages.sh b/debian/man/genmanpages.sh
new file mode 100755
index 0000000..440c4a2
--- /dev/null
+++ b/debian/man/genmanpages.sh
@@ -0,0 +1,4 @@
+#!/bin/bash
+
+
+txt2man -t BERKELEY-ABC -s 1 berkeley-abc.txt > berkeley-abc.1
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/berkeley-abc.git
More information about the debian-science-commits
mailing list