From 4706d2915f8e9e93148dbbdc71a54a5c1271628d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Tue, 30 Aug 2016 18:52:59 +0200
Subject: [PATCH] Clarified how to plasp handle updates before executing the
 test suite.

---
 doc/building-instructions.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc/building-instructions.md b/doc/building-instructions.md
index 7d81e00..3f56a48 100644
--- a/doc/building-instructions.md
+++ b/doc/building-instructions.md
@@ -39,3 +39,6 @@ Finally, build and run the tests as follows:
 ```bash
 $ make run-tests
 ```
+
+After updating `plasp`, make sure to execute CMake again in order for the tests to run correctly.
+Else, external files required by the test suite may be reported missing.