From 7a962ecce138e04dd96423bc4c7d46973ee82c17 Mon Sep 17 00:00:00 2001
From: Michael Hanselmann <hansmi@google.com>
Date: Thu, 11 Oct 2012 13:10:56 +0200
Subject: [PATCH] Makefile/check-local: Ensure design document exists

This way a missing design document is detected.

Signed-off-by: Michael Hanselmann <hansmi@google.com>
Reviewed-by: Iustin Pop <iustin@google.com>
---
 Makefile.am | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Makefile.am b/Makefile.am
index b8a3240cf..db2d01b62 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)
-- 
GitLab