[ubuntu/trusty-proposed] proofgeneral 4.3~pre130510-1.1 (Accepted)

[Colin Watson]

proofgeneral (4.3~pre130510-1.1) unstable; urgency=medium

  * Non-maintainer upload.
  * debian/control
    - add "Build-Depends: texlive-fonts-recommended" to fix FTBFS
     (Closes: #738392)
    - remove unnecessary "Build-Depends: texi2html" due to transtion
      (see https://wiki.debian.org/Texi2htmlTransition)
  * debian/patches
    - add transition_to_makeinfo.patch to use makeinfo, instead of texi2html
  * also update debian/proofgeneral-doc.doc-base to deal with changes with
    above

Date: 2014-02-25 16:20:04.157349+00:00
Signed-By: Colin Watson <cjwatson at canonical.com>
https://launchpad.net/ubuntu/trusty/+source/proofgeneral/4.3~pre130510-1.1
-------------- next part --------------
Sorry, changesfile not available.