From fc07a14e609a050ecd46d335c82474f96cc38c84 Mon Sep 17 00:00:00 2001
From: Michael Hanselmann <hansmi@google.com>
Date: Fri, 12 Oct 2012 11:11:16 +0200
Subject: [PATCH] Fix distcheck after commit 7a962ec
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

I only ran β€œmake check” and forgot about β€œdistcheck”.

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

diff --git a/Makefile.am b/Makefile.am
index db2d01b62..bd52ba838 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -1418,8 +1418,8 @@ check-local: check-dirs $(GENERATED_FILES)
 			exit 1; \
 		fi; \
 	done; \
-	if ! test -f doc/design-$$expver.rst; then \
-		echo "File doc/design-$$expver.rst not found"; \
+	if ! test -f $(top_srcdir)/doc/design-$$expver.rst; then \
+		echo "File $(top_srcdir)/doc/design-$$expver.rst not found"; \
 		exit 1; \
 	fi
 
-- 
GitLab