From d1d0191eb9781aaf4cc90538fd6f51749faec9b1 Mon Sep 17 00:00:00 2001 From: flammie Date: Fri, 12 Apr 2024 13:54:15 +0000 Subject: [PATCH] deploy: 3084b12fed0b11a224d9e7aeda5baee4726193d1 --- Makefile.in | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile.in b/Makefile.in index bda111599..ca8293399 100644 --- a/Makefile.in +++ b/Makefile.in @@ -250,6 +250,7 @@ GLANGUAGE = @GLANGUAGE@ GRAMCHECKVERSION = @GRAMCHECKVERSION@ GTCORE = @GTCORE@ GTCORESH = @GTCORESH@ +GTGRAMTOOL = @GTGRAMTOOL@ GTLANG = @GTLANG@ GTLANG2 = @GTLANG2@ GTLANGUAGE = @GTLANGUAGE@