From 0232d170e92772fdc5258e20df3f5d24cb1e7a30 Mon Sep 17 00:00:00 2001 From: Wolfram Schneider Date: Fri, 16 Aug 2013 14:54:36 +0000 Subject: [PATCH 1/1] add a 'docs' target --- tools/htdocs/Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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 "" -- 1.7.10.4