batch files to create doxygen output