[yosys] 04/07: Revert "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 5bb4158c8d7718fbf0b810d0a2910c5cbbd58ec7
Author: Sebastian Kuzminsky <seb at highlab.com>
Date:   Fri Mar 25 12:07:36 2016 -0600

    Revert "yosys-dev: install the headers from the new place"
    
    This reverts commit b6256223ab1fbbdb31a747346e4702153ab6a3c9.
---
 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 2eb8233..f908c30 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/include/* usr/include
+debian/tmp/usr/share/yosys/include/* usr/include/yosys/

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