diff options
| author | Sebastian Kuzminsky <seb@highlab.com> | 2016-02-28 15:17:58 -0700 |
|---|---|---|
| committer | Sebastian Kuzminsky <seb@highlab.com> | 2016-03-03 21:44:52 -0700 |
| commit | d280e4850c46ddb55b2b007c5baa846bb7ea49c2 (patch) | |
| tree | 850ca5b158caa8fa0612a45bc9f0c49863e84e1f /debian/control | |
| parent | 85acb59508b6d53a5a7eae2a072d81220951ab39 (diff) | |
add a manpage for yosys-smtbmc
Also add infrastructure for building manpages with txt2man, lifted from
fpga-icestorm.
Diffstat (limited to 'debian/control')
| -rw-r--r-- | debian/control | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/control b/debian/control index 35b4616d..07c3d4cc 100644 --- a/debian/control +++ b/debian/control @@ -12,6 +12,7 @@ Build-Depends: debhelper (>= 9), gawk, libffi-dev, pkg-config, + txt2man, python3 Standards-Version: 3.9.7 Vcs-Browser: https://anonscm.debian.org/cgit/debian-science/packages/yosys.git |