From 73b020d64ede246556b27fbff8a2085fe1e01730 Mon Sep 17 00:00:00 2001
From: simonm <unknown>
Date: Mon, 15 Dec 1997 11:13:20 +0000
Subject: [PATCH] [project @ 1997-12-15 11:13:20 by simonm] bump happy version
 number to 1.5.

---
 mk/config.mk.in | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 7267ee5ab47f..22b59a6458f5 100644
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -145,7 +145,7 @@ GhcProjectPatchLevel   = 0
 #
 HappyProjectName       = Happy
 HappyProjectNameShort  = happy
-HappyProjectVersion    = 1.4
+HappyProjectVersion    = 1.5
 HappyProjectPatchLevel = 0
 
 #
@@ -489,6 +489,7 @@ MKDEPENDC_PREFIX	= $(GLAFP_UTILS)/mkdependC/
 LTX_PREFIX		= $(GLAFP_UTILS)/ltx/
 RUNTEST_PREFIX		= $(GLAFP_UTILS)/runstdtest/
 VERBATIM_PREFIX		= $(GLAFP_UTILS)/verbatim/
+SGMLVERB_PREFIX		= $(GLAFP_UTILS)/sgmlverb/
 ETAGS_PREFIX		= $(GLAFP_UTILS)/etags/
 MSUB_PREFIX		= $(GLAFP_UTILS)/msub/
 LNDIR_PREFIX		= $(GLAFP_UTILS)/lndir/
@@ -645,6 +646,8 @@ LNDIR			= $(LNDIR_PREFIX)lndir
 MSUB			= $(MSUB_PREFIX)msub
 ETAGS			= $(ETAGS_PREFIX)etags
 VERBATIM		= $(VERBATIM_PREFIX)verbatim
+SGMLVERB		= $(SGMLVERB_PREFIX)sgmlverb
+SGML2LATEX		= sgml2latex
 RUNTEST			= $(RUNTEST_PREFIX)runstdtest
 HAPPY			= @HappyCmd@
 HAPPY_VERSION		= @HappyVersion@		
-- 
GitLab