update make task for serving docs

Author: tony

doc/Makefile

@@ -162,4 +162,9 @@ watch:
 	if command -v entr > /dev/null; then ${WATCH_FILES} | entr -c $(MAKE) html; else $(MAKE) html; fi
 
 serve:
-	echo 'docs built to <http://0.0.0.0:8023/_build/html>'; python -m SimpleHTTPServer 8023
+	@echo '========================================================'
+	@echo
+	@echo ' docs server running at http://0.0.0.0:8023/_build/html '
+	@echo
+	@echo '========================================================'
+	python -m SimpleHTTPServer 8023