[yosys] 10/15: yosys-dev: add .install and .manpages, move yosys-config from yosys to yosys-dev

[Sebastian Kuzminsky]

This is an automated email from the git hooks/post-receive script.

seb_kuzminsky-guest pushed a commit to branch doc-dev-debs
in repository yosys.

commit e7bec8baa868c3d667fb85ddec5d8c106f22d314
Author: Sebastian Kuzminsky <seb at highlab.com>
Date:   Wed Mar 23 17:04:44 2016 -0600

    yosys-dev: add .install and .manpages, move yosys-config from yosys to yosys-dev
---
 debian/yosys-dev.install  | 3 +++
 debian/yosys-dev.manpages | 1 +
 debian/yosys.manpages     | 1 -
 3 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/debian/yosys-dev.install b/debian/yosys-dev.install
new file mode 100644
index 0000000..f908c30
--- /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/include/yosys/
diff --git a/debian/yosys-dev.manpages b/debian/yosys-dev.manpages
new file mode 100644
index 0000000..0c4ffd9
--- /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 11159f1..bbe0736 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

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/yosys.git