[yosys] branch master updated (9e6e875 -> 6c89e52)

[Sebastian Kuzminsky]

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

seb_kuzminsky-guest pushed a change to branch master
in repository yosys.

      from  9e6e875   dch: switch from UNRELEASED to unstable
      adds  ee6d4ad   dch: new UNRELEASED version
      adds  9ab64c6   look for berkeley-abc in the PATH
      adds  a973706   comment the yosys-abc link so I don't remove it again
      adds  1d78eba   switch to a free font for the manual
      adds  c3bbf19   build the manual using headers from the source tree, not installed
      adds  48afb5d   teach debian to build the docs (manual and presentation)
       new  5f5881b   add yosys-doc
       new  7e86531   yosys: add .install file
       new  0f4a555   add yosys-dev
       new  3760de8   yosys-dev: add .install and .manpages, move yosys-config from yosys to yosys-dev
       new  803d912   fail the deb build if any files didn't get installed
       new  9081b17   include ast.h in yosys-dev
       new  6c89e52   dch: update changelog

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


Summary of changes:
 debian/changelog                         | 12 ++++++
 debian/control                           | 45 +++++++++++++++++++++
 debian/patches/05_abc_executable.patch   |  2 +-
 debian/patches/add-missing-headers.patch | 14 +++++++
 debian/patches/manual-build.patch        | 16 ++++++++
 debian/patches/series                    |  3 ++
 debian/patches/switch-to-free-font.patch | 67 ++++++++++++++++++++++++++++++++
 debian/rules                             |  9 +++++
 debian/yosys-dev.install                 |  3 ++
 debian/yosys-dev.manpages                |  1 +
 debian/yosys-doc.doc-base                |  9 +++++
 debian/yosys-doc.docs                    |  2 +
 debian/yosys.install                     | 15 +++++++
 debian/yosys.links                       |  3 ++
 debian/yosys.manpages                    |  1 -
 15 files changed, 200 insertions(+), 2 deletions(-)
 create mode 100644 debian/patches/add-missing-headers.patch
 create mode 100644 debian/patches/manual-build.patch
 create mode 100644 debian/patches/switch-to-free-font.patch
 create mode 100644 debian/yosys-dev.install
 create mode 100644 debian/yosys-dev.manpages
 create mode 100644 debian/yosys-doc.doc-base
 create mode 100644 debian/yosys-doc.docs
 create mode 100644 debian/yosys.install

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