From 833ba285581e8e6e740472f50258c9dc144f3618 Mon Sep 17 00:00:00 2001 From: flammie Date: Fri, 12 Apr 2024 13:55:05 +0000 Subject: [PATCH] deploy: a36fa96982dda03795611a4e200db84c9298103d --- Makefile.in | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile.in b/Makefile.in index 5756b8e2c..96defd889 100644 --- a/Makefile.in +++ b/Makefile.in @@ -249,6 +249,7 @@ GLANGUAGE = @GLANGUAGE@ GRAMCHECKVERSION = @GRAMCHECKVERSION@ GTCORE = @GTCORE@ GTCORESH = @GTCORESH@ +GTGRAMTOOL = @GTGRAMTOOL@ GTLANG = @GTLANG@ GTLANG2 = @GTLANG2@ GTLANGUAGE = @GTLANGUAGE@