[yosys] branch doc-dev-debs updated (6f54fc1 -> 1d12795)

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

      from  6f54fc1   dch: update changelog
       new  a8b9889   Revert "remove yosys-abc symlink, not needed now that yosys shells out to Debian's berkeley-abc"
       new  60b4417   comment the yosys-abc link so I don't remove it again
       new  e78c539   fixup: teach debian to build the docs (manual and presentation)
       new  5bb4158   Revert "yosys-dev: install the headers from the new place"
       new  8d70037   Revert "add a patch to install the headers in the normal place"
       new  c9f6950   fixup: yosys-dev: add .install and .manpages, move yosys-config from yosys to yosys-dev
       new  1d12795   fixup 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                        |  4 ---
 debian/patches/header-install-dir.patch | 54 ---------------------------------
 debian/patches/series                   |  1 -
 debian/rules                            |  3 +-
 debian/yosys-dev.install                |  2 +-
 debian/yosys.links                      |  4 +++
 6 files changed, 6 insertions(+), 62 deletions(-)
 delete mode 100644 debian/patches/header-install-dir.patch
 create mode 100644 debian/yosys.links

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