diff --git a/todo/prel b/prel
similarity index 96%
rename from todo/prel
rename to prel
index a15b0c2..7ab0172 100755
--- a/todo/prel
+++ b/prel
@@ -13,14 +13,11 @@ complete -F __prel_completion prel
     exit 0
 fi
 
-source "$(dirname "$0")/../lib/ulib/ulib" || exit 1
-#source "$(dirname "$0")/lib/ulib/ulib" || exit 1
+source "$(dirname "$0")/lib/ulib/ulib" || exit 1
 urequire DEFAULTS ptools
 
-# XXX ajouter la possibilité de faire des pré-releases, --alpha, --beta, --rc
-# les pré-releases restent dans la branche de release, et vivent leur vie,
-# jusqu'à la release finale qui est mergée dans master. Il faudrait aussi une
-# option pour merger les modifications de la branche de release dans develop
+# XXX Ajouter une option pour fusionner les modifications d'une branche de
+# pré-release dans develop
 
 function display_help() {
     uecho "$scriptname: basculer sur une branche de release