Fixes to support "make dox".

.gitignore

@@ -80,3 +80,6 @@ quote.blob
 keyblob.bin
 ecc_test_blob.raw
 rsa_test_blob.raw
+
+# Generated Documentation
+docs/html

docs/generate_documentation.sh

@@ -1,7 +1,14 @@
 #!/bin/bash
 
+CURRDIR=${PWD##*/}
+if [ "$CURRDIR" != "docs" ]; then
+    echo "Please run from the ./docs directory"
+    exit 1
+fi
+
+# Run from ./docs
 echo "Generating html..."
 doxygen Doxyfile
 echo "Finished generating html..."
 
-echo "To view the html files use a browser to open the index.html file located at doc/html/index.html"
+echo "To view the html files use a browser to open the index.html file located at docs/html/index.html"

docs/include.am

@@ -2,7 +2,15 @@
 # included from Top Level Makefile.am
 # All paths should be given relative to the root
 
-EXTRA_DIST+= docs/README.md
+dist_doc_DATA+= docs/README.md
-EXTRA_DIST+= docs/SWTPM.md
+dist_doc_DATA+= docs/SWTPM.md
-EXTRA_DIST+= docs/WindowTBS.md
+dist_doc_DATA+= docs/WindowTBS.md
-EXTRA_DIST+= docs/Doxyfile
+dist_doc_DATA+= docs/Doxyfile
+
+
+dox:
+	echo "Generating HTML"
+	doxygen ./docs/Doxyfile
+
+clean-local:
+	-rm -rf docs/html/