From 6d71aa3ee23468b86bcad8fb640d71e2692bd901 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 2 Feb 2001 16:43:56 +0000 Subject: [PATCH] HELM_DTD_DIR now also used --- helm/http_getter/http_getter.pl.in | 2 ++ 1 file changed, 2 insertions(+) diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in index cd474f17b..addd81dcc 100755 --- a/helm/http_getter/http_getter.pl.in +++ b/helm/http_getter/http_getter.pl.in @@ -34,7 +34,9 @@ if (defined ($HELM_LIB_DIR)) { $HELM_LIB_PATH = $DEFAULT_HELM_LIB_DIR."/configuration.pl"; } +# Let's override the configuration file $styles_dir = $ENV{"HELM_STYLE_DIR"} if (defined ($ENV{"HELM_STYLE_DIR"})); +$dtd_dir = $ENV{"HELM_DTD_DIR"} if (defined ($ENV{"HELM_DTD_DIR"})); # : TODO temporary, move this setting to configuration file # set the cache mode, may be "gzipped" or "normal" -- 2.39.2