From b9fa579d78f4f2de8ea3d646488c6febffe2c127 Mon Sep 17 00:00:00 2001 From: Albert Cervin Date: Tue, 14 May 2024 22:35:01 +0200 Subject: [PATCH] And document the prefix flag --- configure | 1 + 1 file changed, 1 insertion(+) diff --git a/configure b/configure index 69c1c6f..f95baae 100755 --- a/configure +++ b/configure @@ -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= Set the build prefix path to , default: /usr/local. -h/--help Show this help text. "