diff -r b7d16ba48217 -r b6635ff398ca devtool.conf
--- a/devtool.conf	Fri Dec 05 23:16:09 2008 +0100
+++ b/devtool.conf	Sun Dec 14 12:41:48 2008 +0100
@@ -47,6 +47,7 @@
     make distclean >/dev/null 2>&1
     echo "+++ fixing"
     ./shtool fixperm -v .
+    echo "Please find . -exec grep myusername {}"
     echo "+++ rolling"
     V=`./shtool version -l c -d short as_version.cpp`
     ./shtool tarball -o as-gui-${V}.tar.gz -d as-gui-${V} \