diff --git a/Makefile.am b/Makefile.am
index b8a3240cf3b61cfc21d946137cd7c701e18c91cd..db2d01b6246ad147f084751e650fcc5795d8d95a 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -1417,7 +1417,11 @@ check-local: check-dirs $(GENERATED_FILES)
 			echo "Incorrect version in $$file, expected $$expver"; \
 			exit 1; \
 		fi; \
-	done
+	done; \
+	if ! test -f doc/design-$$expver.rst; then \
+		echo "File doc/design-$$expver.rst not found"; \
+		exit 1; \
+	fi
 
 .PHONY: hs-check
 hs-check: htest/test htest/hpc-htools $(HS_BUILT_TEST_HELPERS)