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.
This commit is contained in:
parent
212b4fc3d1
commit
ef14581956
1 changed files with 0 additions and 9 deletions
|
@ -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!
|
||||
#
|
||||
|
|
Loading…
Add table
Reference in a new issue