Not all shells like "echo -e".

w3c · Apr 7, 2015 · 28685d7 · 28685d7
1 parent dd6d052
commit 28685d7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -4,7 +4,7 @@ TOOLS=./tools
 include tools/spec.mk
 
 all-specs : all
-	@for spec in specs/*; do if [ -f $$spec/Makefile -a $$spec != 'specs/template' ]; then echo -e "\nBuilding $$spec" && make -s -C $$spec/ all; fi; done
+	@for spec in specs/*; do if [ -f $$spec/Makefile -a $$spec != 'specs/template' ]; then echo && echo "Building $$spec" && make -s -C $$spec/ all; fi; done
 
 pdf : all
 	prince --no-author-style -s build/publish/style/svg-style.css -s http://www.w3.org/StyleSheets/TR/W3C-REC -s build/publish/style/svg-style-print.css build/publish/single-page.html -o build/publish/single-page.pdf