Minor editing

davewhipp · davewhipp · commit c0dd62bdd037 · 2017-10-06T14:02:06.000+03:00
diff --git a/Makefile b/Makefile
@@ -194,6 +194,7 @@ pseudoxml:
 
 # Build for GitHub Pages
 gh-pages:
+	echo "Building GitHub Pages..."
 	git checkout gh-pages
 	rm -rf *
 	git checkout master $(GH_PAGES_SOURCES)
