[Bug 220850] devel/menhir: [maintainer update] update to 20170712

[bugzilla-noreply at freebsd.org]

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=220850

            Bug ID: 220850
           Summary: devel/menhir: [maintainer update] update to 20170712
           Product: Ports & Packages
           Version: Latest
          Hardware: Any
                OS: Any
            Status: New
          Severity: Affects Only Me
          Priority: ---
         Component: Individual Port(s)
          Assignee: freebsd-ports-bugs at FreeBSD.org
          Reporter: amutu at amutu.com

Created attachment 184499
  --> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=184499&action=edit
menhir-20170712.diff

https://gitlab.inria.fr/fpottier/menhir/blob/master/CHANGES.md

2017/07/12

* Include the LaTeX sources of the manual in the official .tar.gz archive.
This should allow the manual to be included as part of the Debian package.
* Mention Obelisk,a pretty-printer for .mly files, in the manual.

QA:
portlint -AC
WARN: Makefile: [35]: use ${VARIABLE}, instead of $(VARIABLE).
WARN: Makefile: for new port, make $FreeBSD$ tag in comment section empty, to
make SVN happy.
0 fatal errors and 2 warnings found.

-- 
You are receiving this mail because:
You are the assignee for the bug.