Updated documentation of dotgen files to use doxygen format