Re-generate the Makefiles

This commit is contained in:
Pierre Pronchery 2017-10-23 03:28:45 +02:00
parent a95d751cdd
commit 06343c9edf

View File

@ -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"