1 files changed, 4 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index 6f7356ad7..7f272b668 100644
--- a/Makefile
+++ b/Makefile
@@ -27,6 +27,10 @@ test: check
 .PHONY: doc
 doc: doc-builds
 
+.PHONY: examples
+examples: all
+	(cd examples && $(MAKE) $(AM_MAKEFLAGS))
+
 YEAR := $(shell date +%Y)
 submission:
 	if [ ! -e configure ]; then ./autogen.sh; fi