simple script to populate texi file from svn