summaryrefslogtreecommitdiff
path: root/debian/yosys.manpages
diff options
context:
space:
mode:
authorRuben Undheim <ruben.undheim@gmail.com>2014-09-13 11:17:15 +0200
committerRuben Undheim <ruben.undheim@gmail.com>2014-09-13 11:17:15 +0200
commitbeabf8558d5d9afc4f9aa241e22a7e709dc0fb94 (patch)
tree08cc5f40af55ba82e2bef9fbd085927f41c74e12 /debian/yosys.manpages
parent7177324393140277afe665d26d729e1589433454 (diff)
Added man-pages for the two other binaries
Diffstat (limited to 'debian/yosys.manpages')
-rw-r--r--debian/yosys.manpages2
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/yosys.manpages b/debian/yosys.manpages
index e6a0628b..ec19f5c7 100644
--- a/debian/yosys.manpages
+++ b/debian/yosys.manpages
@@ -1 +1,3 @@
debian/yosys.1
+debian/yosys-config.1
+debian/yosys-filterlib.1