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/yosys.manpages | |
| 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/yosys.manpages')
| -rw-r--r-- | debian/yosys.manpages | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/yosys.manpages b/debian/yosys.manpages index bc62137a..11159f1d 100644 --- a/debian/yosys.manpages +++ b/debian/yosys.manpages @@ -2,3 +2,4 @@ debian/yosys.1 debian/yosys-config.1 debian/yosys-filterlib.1 debian/yosys-abc.1 +debian/man/*.1 |