diff --git a/Utilitaires/Makefile b/Utilitaires/Makefile index 1d3bd13..c1a466c 100644 --- a/Utilitaires/Makefile +++ b/Utilitaires/Makefile @@ -38,6 +38,10 @@ test : $(CSL_FILE) \ $(VALIDATION_FILE) echo "=============" +test-compact: test + dwdiff -3 $(OUTPUT_FILE) $(VALIDATION_FILE) | sort | uniq + + validation-prov: $(VALIDATION_PROV_FILE) $(HTML-VIEWER) $(VALIDATION_PROV_FILE)