Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | yosys-dev: add .install and .manpages, move yosys-config from yosys to yosys-dev | Sebastian Kuzminsky | 2016-04-04 |
| | |||
* | add a manpage for yosys-smtbmc | Sebastian Kuzminsky | 2016-03-03 |
| | | | | | Also add infrastructure for building manpages with txt2man, lifted from fpga-icestorm. | ||
* | Added man page for yosys-abc | Ruben Undheim | 2015-02-09 |
| | |||
* | Added man-pages for the two other binaries | Ruben Undheim | 2014-09-13 |
| | |||
* | checked in missing file | Ruben Undheim | 2014-04-14 |