From f5e08781241c4ad7c47ab75cb24c3f1865617405 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 8 Feb 2006 17:12:47 +0000 Subject: [PATCH] expand SRCROOT (is needed by matita/Makefile) --- helm/software/Makefile.defs.in | 1 + 1 file changed, 1 insertion(+) diff --git a/helm/software/Makefile.defs.in b/helm/software/Makefile.defs.in index cddf43c2c..ff882055b 100644 --- a/helm/software/Makefile.defs.in +++ b/helm/software/Makefile.defs.in @@ -9,5 +9,6 @@ MATITA_CREQUIRES = @FINDLIB_CREQUIRES@ MATITA_VERSION = @MATITA_VERSION@ +SRCROOT = @SRCROOT@ RT_BASE_DIR = @RT_BASE_DIR@ DBHOST = @DBHOST@ -- 2.39.2