Index: renamef.sh
===================================================================
--- renamef.sh	(revision 5606)
+++ renamef.sh	(revision 5607)
@@ -5,4 +5,4 @@
 ./rename.sh "s/\\([^a-zA-Z0-9_]\\)${1}[ \t]*[(]/\\1$2(/g"
 ./rename.sh "s/^${1}[ \t]*[(]/$2(/g"
 
-echo "$1 -> $2" >> doc-rnd/hacking/renames
+echo "$1 -> $2" >> doc/developer/renames
Index: renameo.sh
===================================================================
--- renameo.sh	(revision 5606)
+++ renameo.sh	(revision 5607)
@@ -6,4 +6,4 @@
 	s/\\([^a-zA-Z0-9_]\\)${1}$/\\1$2/g;
 "
 
-echo "$1 -> $2" >> doc-rnd/hacking/renames
+echo "$1 -> $2" >> doc/developer/renames