diff options
| author | Albert Cervin <albert@acervin.com> | 2024-05-14 22:35:01 +0200 |
|---|---|---|
| committer | Albert Cervin <albert@acervin.com> | 2024-05-14 22:35:01 +0200 |
| commit | b9fa579d78f4f2de8ea3d646488c6febffe2c127 (patch) | |
| tree | 3d265673041aadb86bad62844a172def82d3c2c5 | |
| parent | 8624c6b3d20c3455af970d111855ad7b07988a87 (diff) | |
| download | dged-b9fa579d78f4f2de8ea3d646488c6febffe2c127.tar.gz dged-b9fa579d78f4f2de8ea3d646488c6febffe2c127.tar.xz dged-b9fa579d78f4f2de8ea3d646488c6febffe2c127.zip | |
And document the prefix flag
| -rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -5,6 +5,7 @@ _usage="./configure -- configure the DGED build. Options: --[enable|disable]-syntax Enable or disable syntax highlighting support. --enable-asan Build DGED with address sanitizer enabled. + --prefix=<PREFIX> Set the build prefix path to <PREFIX>, default: /usr/local. -h/--help Show this help text. " |