user guide: fix configure script example

2019-10-14 22:49:34 -04:00 · 2019-10-14 22:49:34 -04:00 · e667455c32
commit e667455c32
parent e62332aba6
1 changed files with 1 additions and 1 deletions
--- 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`.