diff --git a/contrib/devtools/gen-manpages.sh b/util/gen-manpages.sh similarity index 100% rename from contrib/devtools/gen-manpages.sh rename to util/gen-manpages.sh