[yosys] branch doc-dev-debs created (now 6f54fc1)

[Sebastian Kuzminsky]

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

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

        at  6f54fc1   dch: update changelog

This branch includes the following new commits:

       new  ee6d4ad   dch: new UNRELEASED version
       new  9ab64c6   look for berkeley-abc in the PATH
       new  87910ce   remove yosys-abc symlink, not needed now that yosys shells out to Debian's berkeley-abc
       new  43e9108   switch to a free font for the manual
       new  9a9a2db   build the manual using headers from the source tree, not installed
       new  aa98fc9   teach debian to build the docs (manual and presentation)
       new  15dc7b8   add yosys-doc
       new  50fbd07   yosys: add .install file
       new  2565ed5   add yosys-dev
       new  e7bec8b   yosys-dev: add .install and .manpages, move yosys-config from yosys to yosys-dev
       new  9cf94c0   fail the deb build if any files didn't get installed
       new  2bf3943   add a patch to install the headers in the normal place
       new  b625622   yosys-dev: install the headers from the new place
       new  255f814   include ast.h in yosys-dev
       new  6f54fc1   dch: update changelog

The 15 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


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