rebuild.library.<foo> is now a shorthand for clean then build

diff --git a/libraries/Makefile b/libraries/Makefile
index 2664d36..1a77051 100644 (file)
--- a/libraries/Makefile
+++ b/libraries/Makefile
@@ -9,6 +9,10 @@
 #
 #   make clean.library.<package>
 #   make build.library.<package>
 #
 #   make clean.library.<package>
 #   make build.library.<package>

+#
+# or the following is equivalent:
+#
+#   make rebuild.library.<package>

 
 .PHONY: default_target
 
 
 .PHONY: default_target
 

@@ -152,6 +156,11 @@ ifneq "$(NO_HADDOCK_DOCS)" "YES"
 all: doc
 endif
 
 all: doc
 endif
 

+.PHONY: rebuild.library.%
+
+$(foreach SUBDIR,$(SUBDIRS),rebuild.library.$(SUBDIR)):\
+rebuild.library.%: clean.library.% build.library.%
+

 build: $(foreach SUBDIR,$(SUBDIRS),build.library.$(SUBDIR))
 build: installPackage/installPackage
 
 build: $(foreach SUBDIR,$(SUBDIRS),build.library.$(SUBDIR))
 build: installPackage/installPackage