[yosys] 13/15: yosys-dev: install the headers from the new place

[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 b6256223ab1fbbdb31a747346e4702153ab6a3c9
Author: Sebastian Kuzminsky <seb at highlab.com>
Date:   Wed Mar 23 14:42:17 2016 -0600

    yosys-dev: install the headers from the new place
---
 debian/yosys-dev.install | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/yosys-dev.install b/debian/yosys-dev.install
index f908c30..2eb8233 100644
--- a/debian/yosys-dev.install
+++ b/debian/yosys-dev.install
@@ -1,3 +1,3 @@
 debian/tmp/usr/bin/yosys-config usr/bin/
 
-debian/tmp/usr/share/yosys/include/* usr/include/yosys/
+debian/tmp/usr/include/* usr/include

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