diff options
-rw-r--r-- | debian/yosys-dev.install | 3 | ||||
-rw-r--r-- | debian/yosys-dev.manpages | 1 | ||||
-rw-r--r-- | debian/yosys.manpages | 1 |
3 files changed, 4 insertions, 1 deletions
diff --git a/debian/yosys-dev.install b/debian/yosys-dev.install new file mode 100644 index 00000000..86ec5321 --- /dev/null +++ b/debian/yosys-dev.install @@ -0,0 +1,3 @@ +debian/tmp/usr/bin/yosys-config usr/bin/ + +debian/tmp/usr/share/yosys/include/* usr/share/yosys/include/ diff --git a/debian/yosys-dev.manpages b/debian/yosys-dev.manpages new file mode 100644 index 00000000..0c4ffd9e --- /dev/null +++ b/debian/yosys-dev.manpages @@ -0,0 +1 @@ +debian/yosys-config.1 diff --git a/debian/yosys.manpages b/debian/yosys.manpages index 11159f1d..bbe07363 100644 --- a/debian/yosys.manpages +++ b/debian/yosys.manpages @@ -1,5 +1,4 @@ debian/yosys.1 -debian/yosys-config.1 debian/yosys-filterlib.1 debian/yosys-abc.1 debian/man/*.1 |