diff options
| author | Sebastian Kuzminsky <seb@highlab.com> | 2016-03-23 17:04:44 -0600 |
|---|---|---|
| committer | Sebastian Kuzminsky <seb@highlab.com> | 2016-04-04 11:50:47 -0600 |
| commit | 3760de80ae55aa5a820c4dcfc54b10723f6f891a (patch) | |
| tree | 655c74e6ab45846c1ea6f5ef6c3baae06b20429e /debian | |
| parent | 0f4a555bd2a58c36f5d4fb902b760df69b8be65b (diff) | |
yosys-dev: add .install and .manpages, move yosys-config from yosys to yosys-dev
Diffstat (limited to 'debian')
| -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 |