From 24a25463bb420ff8f1f02bbeba1992ecfd24758e Mon Sep 17 00:00:00 2001 From: "Janet B. Anderson" Date: Thu, 10 Feb 2000 20:50:40 +0000 Subject: [PATCH] Added HTMLS. --- configure/CONFIG_ADDONS | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/configure/CONFIG_ADDONS b/configure/CONFIG_ADDONS index 7178aa486..44e50b020 100644 --- a/configure/CONFIG_ADDONS +++ b/configure/CONFIG_ADDONS @@ -75,6 +75,14 @@ USR_LDFLAGS+=$(USR_LDFLAGS_DEFAULT) endif endif +ifneq ($(strip $(HTMLS_$(OS_CLASS))),) +HTMLS+=$(subst -nil-,,$(HTMLS_$(OS_CLASS))) +else +ifdef HTMLS_DEFAULT +HTMLS+=$(HTMLS_DEFAULT) +endif +endif + # check for special includes: # ifneq ($(strip $(INC_$(OS_CLASS))),)