diff --git a/Makefile.am b/Makefile.am
index 688649f3f08c906762156bff156ebe0f1d7053b4..28f1bbd0bb83939af34817a582ae1c6f7b31657e 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
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 )
+