[yosys] 06/07: fixup: 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 c9f6950f1b13ffd6cdcfe38f2e83810118d2537e
Author: Sebastian Kuzminsky <seb at highlab.com>
Date:   Fri Mar 25 12:16:31 2016 -0600

    fixup: yosys-dev: add .install and .manpages, move yosys-config from yosys to yosys-dev
    
    Install the yosys headers in /usr/share/yosys/include instead of in
    /usr/include/yosys, to prevent polluting the header file namespace with
    these special-purpose headers.
    
    The yosys-config script finds them, for the rare users who need them.
---
 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..86ec532 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/share/yosys/include/* usr/share/yosys/include/

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