diff --git a/Makefile.am b/Makefile.am
index 9baf3dabd11cf10887911c2408337a89636b0c03..28f1bbd0bb83939af34817a582ae1c6f7b31657e 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
-SUBDIRS = doc src
+SUBDIRS = src
+if BUILD_DOCUMENTATION
+SUBDIRS += doc
+endif
EXTRA_DIST = autogen.sh version-gen.sh
+version: FORCE
+ @# As a side-effect, this updates ../version.
+ @echo Building $(PACKAGE_NAME) version $$( cd .. && ./version-gen.sh )
+