Mass-renamings of doc-files

Well, I don't know if it's just me. But I don't think that what didou is currently doing is a good idea (not meant personally). All revisions of the files get completely lost, which makes translations again much more work. Imho not a wise solution. And didou, do you intend to rename all auto-generated files by phpDocumentor as well? Afaik all files are generated with underscores usually. Sorry for not speaking up before - that's not what I read from your email to the list and I don't know if it is what Martin expected when he wrote "Sounds like no problem for me". Stefan