summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile7
1 files changed, 4 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index 6b935315..8f0dc80c 100644
--- a/Makefile
+++ b/Makefile
@@ -53,6 +53,7 @@ icc:
pipeline: check-xml
cd ../tools/testxml/ ; ./testxml.py silent |grep -v "Checking"
- echo "Now using imagemagic to verify images..."
- cd ../tools/imagescheck/ ; ./icccheck.sh
- echo "Now run `make check-png` to check PNG images. Use `make contrib` if contributor list must be updated."
+ #echo "Now using imagemagic to verify images..."
+ #cd ../tools/imagescheck/ ; ./icccheck.sh
+ @echo "Now run `make check-png` to check PNG images. Use `make contrib` if contributor list must be updated."
+ @echo "Use `make icc` to verify for broken images, too."