diff --git a/Documentation/Makefile b/Documentation/Makefile index b1d7c7948..6cb90f657 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -28,6 +28,9 @@ check: $$B --version > /dev/null || exit 1; \ done +ifeq ($(CRIU_VERSION),) + include ../Makefile.versions +endif $(FOOTER): ../Makefile.versions $(call msg-gen, $@) $(Q) echo ":doctype: manpage" > $@