diff --git a/config.sh b/config.sh index d9ad0e34..1e7d767d 100755 --- a/config.sh +++ b/config.sh @@ -61,7 +61,7 @@ export STAT if [ ! "$(uname -s)" = "Redox" ] then function docgen { - "$ROOT/docgen/target/docgen" "$@" + "$ROOT/docgen/target/release/docgen" "$@" } function pkgar {