add a manpage for yosys-smtbmc

Also add infrastructure for building manpages with txt2man, lifted from
fpga-icestorm.

1 files changed, 3 insertions, 0 deletions

diff --git a/debian/man/genmanpages.sh b/debian/man/genmanpages.sh
new file mode 100755
index 00000000..8c6f6e71
--- /dev/null
+++ b/debian/man/genmanpages.sh
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+txt2man -d "${CHANGELOG_DATE}" -t YOSYS-SMTBMC -s 1 yosys-smtbmc.txt > yosys-smtbmc.1