[yosys] 04/07: yosys-dev: add .install and .manpages, move yosys-config from yosys to yosys-dev
Sebastian Kuzminsky
seb_kuzminsky-guest at moszumanska.debian.org
Mon Apr 4 17:52:22 UTC 2016
This is an automated email from the git hooks/post-receive script.
seb_kuzminsky-guest pushed a commit to branch master
in repository yosys.
commit 3760de80ae55aa5a820c4dcfc54b10723f6f891a
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..86ec532
--- /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 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
More information about the debian-science-commits
mailing list