From ef1458195638e7bfc565fa0996a402a359b1e30d Mon Sep 17 00:00:00 2001 From: Celtic Minstrel Date: Sun, 29 Nov 2020 12:53:54 -0500 Subject: [PATCH] Remove make targets for the old and obsolete wmlvalidator This validator was already removed in another commit, so there's no point in these targets existing. --- data/tools/Makefile | 9 --------- 1 file changed, 9 deletions(-) diff --git a/data/tools/Makefile b/data/tools/Makefile index dade051c91b..faeb2b66f61 100644 --- a/data/tools/Makefile +++ b/data/tools/Makefile @@ -31,15 +31,6 @@ utils-unused: @echo "# Report on unused utility macros" @./wmlscope --crossreference --from $(DATA)/core/macros --refcount 0 $(MAINLINE) $(UMC) -validate: - # Check WML for meaning and references. - # No UMC testing until $$(UMC) is fixed - ./wmlvalidator -p $(DATA) #-u $(UMC) - -validate-gui: - # Check GUI WML for meaning and references. - ./wmlvalidator -p $(DATA) -s $(DATA)/schema-gui.cfg $(DATA)/gui/default.cfg - # Beware of removing images listed in this report unless you know # UMC is not relying on them! #