From: Wolfram Schneider <wosch@indexdata.dk>
Date: Fri, 16 Aug 2013 14:54:36 +0000 (+0000)
Subject: add a 'docs' target
X-Git-Tag: 0.9.1~239
X-Git-Url: http://git.indexdata.com/?p=mkws-moved-to-github.git;a=commitdiff_plain;h=0232d170e92772fdc5258e20df3f5d24cb1e7a30;hp=d3b9f1529768e96c18dc8ce2e092c46e55495826

add a 'docs' target
---

diff --git a/tools/htdocs/Makefile b/tools/htdocs/Makefile
index e63209b..e425e55 100644
--- a/tools/htdocs/Makefile
+++ b/tools/htdocs/Makefile
@@ -19,6 +19,8 @@ DOCS = README.html README.odt README.pdf \
 **default**: ${MKWS_JS} README.html whitepaper.html
 all: ${MKWS_JS} $(DOCS)
 
+docs: $(DOCS)
+
 mkws-js ${MKWS_JS}: ../../../libjs-pz2/pz2api.1.js mkws.js
 	( echo "/* created at: $$(date)"; \
 	  echo "   mkws.js GIT id: $$(git log mkws.js | head -n 1 | perl -npe 's,\S+\s+,,') */"; \
@@ -31,7 +33,7 @@ clean:
 	rm -f ${MKWS_JS} $(DOCS)
 
 help:
-	@echo "make [ help | mkws-js | clean ]"
+	@echo "make [ help | mkws-js | docs | clean ]"
 	@echo ""
 	@echo "make JQUERY_URL=http://code.jquery.com/jquery-2.0.3.min.js clean mkws-js"
 	@echo ""