From e667455c32c8fc9ab0337f8578ab39cd37f7d021 Mon Sep 17 00:00:00 2001
From: Josh Holtrop <jholtrop@gmail.com>
Date: Mon, 14 Oct 2019 22:49:34 -0400
Subject: [PATCH] user guide: fix configure script example

---
 doc/user_guide.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/user_guide.md b/doc/user_guide.md
index 2f6417c..b56d552 100644
--- a/doc/user_guide.md
+++ b/doc/user_guide.md
@@ -1277,7 +1277,7 @@ To do this, create a `configure` script with contents similar to the following:
 
 ```
 #!/bin/sh
-exec "$(dirname "$0")"/rscons "$@"
+exec "$(dirname "$0")"/rscons configure "$@"
 ```
 
 and make it executable with `chmod +x configure`.