From 34d1acb07f9796ee84dc6904bb902c8031620955 Mon Sep 17 00:00:00 2001 From: Jendrik Seipp Date: Sun, 15 Oct 2023 11:05:35 +0200 Subject: [PATCH] [trivial] Fix instruction. --- build.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.py b/build.py index 7437a9707b..c85f776cfe 100755 --- a/build.py +++ b/build.py @@ -89,7 +89,7 @@ def try_run(cmd): except OSError as exc: if exc.errno == errno.ENOENT: print(f"Could not find '{cmd[0]}' on your PATH. For installation instructions, " - "see https://www.fast-downward.org/ObtainingAndRunningFastDownward.") + "see BUILD.md in the project root directory.") sys.exit(1) else: raise