From 06343c9edfbafb44338ee883d6f62de967c79811 Mon Sep 17 00:00:00 2001 From: Pierre Pronchery Date: Mon, 23 Oct 2017 03:28:45 +0200 Subject: [PATCH] Re-generate the Makefiles --- tests/Makefile | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/tests/Makefile b/tests/Makefile index 5853761..1e70c63 100644 --- a/tests/Makefile +++ b/tests/Makefile @@ -1,4 +1,4 @@ -TARGETS = $(OBJDIR)clint.log $(OBJDIR)shlint.log $(OBJDIR)tests.log $(OBJDIR)xmllint.log +TARGETS = $(OBJDIR)clint.log $(OBJDIR)htmllint.log $(OBJDIR)shlint.log $(OBJDIR)tests.log $(OBJDIR)xmllint.log OBJDIR = PREFIX = /usr/local DESTDIR = @@ -13,6 +13,9 @@ all: $(TARGETS) $(OBJDIR)clint.log: ../doc/scripts/clint.sh ../doc/scripts/clint.sh -P "$(PREFIX)" -- "$(OBJDIR)clint.log" +$(OBJDIR)htmllint.log: ../doc/scripts/htmllint.sh + ../doc/scripts/htmllint.sh -P "$(PREFIX)" -- "$(OBJDIR)htmllint.log" + $(OBJDIR)shlint.log: ../doc/scripts/shlint.sh ../doc/scripts/shlint.sh -P "$(PREFIX)" -- "$(OBJDIR)shlint.log" @@ -23,8 +26,9 @@ $(OBJDIR)xmllint.log: ../doc/scripts/xmllint.sh ../doc/scripts/xmllint.sh -P "$(PREFIX)" -- "$(OBJDIR)xmllint.log" clean: - $(RM) -- $(clint.log_OBJS) $(shlint.log_OBJS) $(tests.log_OBJS) $(xmllint.log_OBJS) + $(RM) -- $(clint.log_OBJS) $(htmllint.log_OBJS) $(shlint.log_OBJS) $(tests.log_OBJS) $(xmllint.log_OBJS) ../doc/scripts/clint.sh -c -P "$(PREFIX)" -- "$(OBJDIR)clint.log" + ../doc/scripts/htmllint.sh -c -P "$(PREFIX)" -- "$(OBJDIR)htmllint.log" ../doc/scripts/shlint.sh -c -P "$(PREFIX)" -- "$(OBJDIR)shlint.log" ./tests.sh -c -P "$(PREFIX)" -- "$(OBJDIR)tests.log" ../doc/scripts/xmllint.sh -c -P "$(PREFIX)" -- "$(OBJDIR)xmllint.log"