Merge remote-tracking branch 'remotes/github/hosts' into hosts

1 files changed, 18 insertions, 8 deletions

diff --git a/Makefile b/Makefile
index 46933cd..624f25d 100644
--- a/Makefile
+++ b/Makefile
@@ -1,8 +1,18 @@
-all: perltidy
-perltidy:
-	find . -name \*.fpl | xargs perltidy -i=2 -b 
-	find . -name \*.pl | xargs perltidy -i=2 -b 
-	find . -name \*.pm | xargs perltidy -i=2 -b 
-	find . -name \*.bak | xargs rm -f
-todo:
-	grep -R TODO . | grep -E -v '(\.git|Makefile)' 
+all: quick push
+xml: check format push
+check:
+	@echo Checking for valid XML
+	find . -name \*.xml -type f | while read xml; do \
+		xmllint "$$xml" >/dev/null; \
+		done
+format:
+	@echo Re-Formatting XML files
+	find . -name \*.xml -type f | while read xml; do \
+		xmllint --format "$$xml" >"$$xml.tmp" && \
+		mv "$$xml.tmp" "$$xml"; \
+		done
+	git commit -a -m 'Reformatted XML' || exit 0
+quick:
+	git commit -a -m 'Quick commit' || exit 0
+push:
+	git push origin hosts