update doxygen when pushing

Author: madhephaestus

LabCodeRepoSetup/src/main/java/edu/wpi/rbe/LabCodeRepoSetupMain.java

@@ -319,6 +319,21 @@ public static void main(String[] args) throws Exception {
 							run(commands, cloneDir);
 
 
+							commands = new ArrayList<String>();
+							commands.add("git"); // command
+							commands.add("commit"); // command
+							commands.add("-a"); // command
+							commands.add("-m'Changing ino name'"); // command
+							run(commands, cloneDir);
+						}
+						File doxyfile = new File(cloneDir.getAbsolutePath()+"/doxy.dox");
+						if(doxyfile.exists()) {
+							commands = new ArrayList<String>();
+							commands.add("doxygen"); // command
+							commands.add("doxy.dox"); // command
+							run(commands, cloneDir);
+							
+							
 							commands = new ArrayList<String>();
 							commands.add("git"); // command
 							commands.add("commit"); // command