summaryrefslogtreecommitdiff
path: root/debian/yosys.manpages
Commit message (Collapse)AuthorAge
* yosys-dev: add .install and .manpages, move yosys-config from yosys to yosys-devSebastian Kuzminsky2016-04-04
|
* add a manpage for yosys-smtbmcSebastian Kuzminsky2016-03-03
| | | | | Also add infrastructure for building manpages with txt2man, lifted from fpga-icestorm.
* Added man page for yosys-abcRuben Undheim2015-02-09
|
* Added man-pages for the two other binariesRuben Undheim2014-09-13
|
* checked in missing fileRuben Undheim2014-04-14