Commit fc07a14e authored by Michael Hanselmann's avatar Michael Hanselmann
Browse files

Fix distcheck after commit 7a962ecc

I only ran “make check” and forgot about “distcheck”.
Signed-off-by: default avatarMichael Hanselmann <>
Reviewed-by: default avatarIustin Pop <>
parent 7a962ecc
......@@ -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; \
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment