[yosys] 04/04: Added man page for yosys-abc

Ruben Undheim rubund-guest at moszumanska.debian.org
Mon Feb 9 20:24:56 UTC 2015


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

rubund-guest pushed a commit to branch master
in repository yosys.

commit 59440354c908cf901680c626ed8b5f98c508d6af
Author: Ruben Undheim <ruben.undheim at gmail.com>
Date:   Mon Feb 9 21:22:48 2015 +0100

    Added man page for yosys-abc
---
 debian/changelog      |  1 +
 debian/yosys-abc.1    | 23 +++++++++++++++++++++++
 debian/yosys.manpages |  1 +
 3 files changed, 25 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index e2e218c..491f748 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -6,6 +6,7 @@ yosys (0.5.0-1) unstable; urgency=low
   * Changed dependency from tcl8.5-dev to tcl-dev
   * Added d/gbp.conf
   * Added link from /usr/bin/yosys-abc to /usr/bin/berkeley-abc
+    - Also added man page for yosys-abc
   * Fixed paths returned by yosys-config
     - fix included in 04_installpath.patch
 
diff --git a/debian/yosys-abc.1 b/debian/yosys-abc.1
new file mode 100644
index 0000000..780b004
--- /dev/null
+++ b/debian/yosys-abc.1
@@ -0,0 +1,23 @@
+.\"                                      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 YOSYS-ABC 1 "February 09, 2015"
+.SH NAME
+yosys-abc \- symlink to berkeley-abc
+.SH SYNOPSIS
+.B yosys-abc
+.br
+.SH DESCRIPTION
+This manual page documents briefly the
+.B yosys-abc
+command.
+.PP
+\fByosys-abc\fP is simply a symbolic link to berkeley-abc which is provided by another package but which is a dependency for yosys. This is necessary since yosys-abc is the name used for berkeley-abc upstream for yosys and some yosys scripts may depend on it. For more information see the manual page for berkeley-abc(1)
+.SH SEE ALSO
+berkeley-abc(1), yosys(1)
+.\".SH AUTHOR
+.\"yosys-config was written by Clifford Wolf <clifford at clifford.at>.
+.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/yosys.manpages b/debian/yosys.manpages
index ec19f5c..bc62137 100644
--- a/debian/yosys.manpages
+++ b/debian/yosys.manpages
@@ -1,3 +1,4 @@
 debian/yosys.1
 debian/yosys-config.1
 debian/yosys-filterlib.1
+debian/yosys-abc.1

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/yosys.git



More information about the debian-science-commits mailing list