Index: tools/document.sh
===================================================================
diff -u -r619cd8f345bf168dc37bb12befef3db0290e5329 -r9d9105c7dc3379c2e14996522291b23a19e7ba46
--- tools/document.sh	(.../document.sh)	(revision 619cd8f345bf168dc37bb12befef3db0290e5329)
+++ tools/document.sh	(.../document.sh)	(revision 9d9105c7dc3379c2e14996522291b23a19e7ba46)
@@ -1,7 +1,7 @@
 #!/bin/bash
 cd ../
 export PROJECT_DIRECTORY=$(pwd)
-rm -rf html
-doxygen Doxyfile
+rm -rf document/html
+doxygen document/Doxyfile
 cd html
-xdg-open index.html
+xdg-open document/index.html