today's build system fix: sometimes examples weren't built with "make examples";...

diff --git a/Makefile b/Makefile
index 4ddb97a85081d331bc4bffd0086a8e9c3bedf538..5bbd61b4c5edcf8fdec90c1a0e37e0b0ef1a9bc8 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -7,7 +7,7 @@
 #
 builddir = builds
 
-.PHONY: all install
+.PHONY: all install examples install-examples
 all install examples install-examples .DEFAULT:
        @if test -d $(builddir); then \
                echo cd $(builddir); \