Added bash script to generate docs

Docs/Doxyfile

@@ -38,7 +38,7 @@ PROJECT_NAME           = Fungus
 # could be handy for archiving the generated documentation or if some version
 # control system is used.
 
-PROJECT_NUMBER         = 3.2
+PROJECT_NUMBER         = v3.3.0
 
 # Using the PROJECT_BRIEF tag one can provide an optional one line description
 # for a project that appears at the top of each page and should give viewer a
@@ -1122,7 +1122,7 @@ GENERATE_HTML          = YES
 # The default directory is: html.
 # This tag requires that the tag GENERATE_HTML is set to YES.
 
-HTML_OUTPUT            = html
+HTML_OUTPUT            = ./
 
 # The HTML_FILE_EXTENSION tag can be used to specify the file extension for each
 # generated HTML page (for example: .htm, .php, .asp).

Docs/make_docs.sh

@@ -0,0 +1,3 @@
+#!/bin/bash
+rm -rf ../Build/Docs
+/Applications/Doxygen.app/Contents/Resources/doxygen ./Doxyfile

Docs/resources/header.html

@@ -32,7 +32,7 @@ $extrastylesheet
    <div id="projectname"><!--$projectname-->
    <!--BEGIN PROJECT_NUMBER-->&#160;<span id="projectnumber"><!--$projectnumber--></span><!--END PROJECT_NUMBER-->
    </div>
-   <!--BEGIN PROJECT_BRIEF--><div id="projectbrief">$projectbrief</div><!--END PROJECT_BRIEF-->
+   <!--BEGIN PROJECT_BRIEF--><div id="projectbrief">$projectnumber $projectbrief</div><!--END PROJECT_BRIEF-->
   </td>
   <!--END PROJECT_NAME-->
   <!--BEGIN !PROJECT_NAME-->