[yosys] branch doc-dev-debs-2 created (now d62d44e)

[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-2
in repository yosys.

        at  d62d44e   dch: update changelog

This branch includes the following new commits:

       new  a973706   comment the yosys-abc link so I don't remove it again
       new  1d78eba   switch to a free font for the manual
       new  c3bbf19   build the manual using headers from the source tree, not installed
       new  48afb5d   teach debian to build the docs (manual and presentation)
       new  bf126d2   add yosys-doc
       new  9653e40   yosys: add .install file
       new  e724433   add yosys-dev
       new  8bc7c19   yosys-dev: add .install and .manpages, move yosys-config from yosys to yosys-dev
       new  adf9010   fail the deb build if any files didn't get installed
       new  784b911   include ast.h in yosys-dev
       new  d62d44e   dch: update changelog

The 11 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