update doc; use SVN version to create html comments