From 3eedd8a3d8e3689d52260f745a2908acc472200b Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Wed, 6 Jun 2018 20:49:16 -0600
Subject: [PATCH] New upstream version.

---
 ocaml-menhir.spec | 13 +++++++++----
 sources           |  2 +-
 2 files changed, 10 insertions(+), 5 deletions(-)

diff --git a/ocaml-menhir.spec b/ocaml-menhir.spec
index b636486..afb4072 100644
--- a/ocaml-menhir.spec
+++ b/ocaml-menhir.spec
@@ -6,8 +6,8 @@
 %endif
 
 Name:           ocaml-menhir
-Version:        20171222
-Release:        2%{?dist}
+Version:        20180530
+Release:        1%{?dist}
 Summary:        LR(1) parser generator for OCaml
 
 # The generator is GPLv2
@@ -15,10 +15,13 @@ License:        GPLv2
 URL:            http://gallium.inria.fr/~fpottier/menhir/
 Source0:        http://gallium.inria.fr/~fpottier/menhir/menhir-%{version}.tar.gz
 
+BuildRequires:  hevea
+BuildRequires:  ImageMagick
 BuildRequires:  ocaml
 BuildRequires:  ocaml-ocamlbuild
 BuildRequires:  ocaml-findlib
 BuildRequires:  tex(latex)
+BuildRequires:  tex(comment.sty)
 BuildRequires:  tex(moreverb.sty)
 
 %description
@@ -57,7 +60,6 @@ rm -fr demos/obsolete
 make PREFIX=%{_prefix} TARGET=%{target}
 make -C demos clean
 make -C doc
-mv doc/main.pdf manual.pdf
 
 %install
 # Remove executable bits from a demo file
@@ -69,7 +71,7 @@ make install PREFIX=%{buildroot}%{_prefix} TARGET=%{target}
 rm -fr %{buildroot}%{_docdir}/menhir
 
 %files
-%doc CHANGES.md README.md manual.pdf demos
+%doc CHANGES.md README.md doc/manual.pdf demos
 %license LICENSE
 %{_bindir}/menhir
 %{_mandir}/man1/menhir.1*
@@ -80,6 +82,9 @@ rm -fr %{buildroot}%{_docdir}/menhir
 %{_libdir}/ocaml/menhirSdk/
 
 %changelog
+* Wed Jun  6 2018 Jerry James <loganjerry@gmail.com> - 20180530-1
+- New upstream version
+
 * Thu Feb 08 2018 Fedora Release Engineering <releng@fedoraproject.org> - 20171222-2
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
 
diff --git a/sources b/sources
index 575143c..062833d 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (menhir-20171222.tar.gz) = b0fe2a48d1654822f31437500d76b5361657b32340fc86f012f3a7516ad2498a670df9fa889aa0f072ec9843703c18cd709e9a03fb6d14cf2e6e6cf30445e730
+SHA512 (menhir-20180530.tar.gz) = 10fbd0bc48ca3ffab5b3b9337d662d70b4dc8e7662081a6ecebf54f4f58ceca6dcddc99655791791b8ed6a6aecf51fca2d763d9e3f974a18fcd54e823eb9aab6