Index: tools/document.sh
===================================================================
diff -u -r028952270169971af5075574ba7b7b4ba241acd3 -r6ab9b1c14952ed9afe17694c65068a08aa27481e
--- tools/document.sh	(.../document.sh)	(revision 028952270169971af5075574ba7b7b4ba241acd3)
+++ tools/document.sh	(.../document.sh)	(revision 6ab9b1c14952ed9afe17694c65068a08aa27481e)
@@ -18,5 +18,4 @@
 export PROJECT_DIRECTORY=$(pwd)
 rm -rf document/html
 doxygen document/Doxyfile
-cd html
-xdg-open document/index.html
+xdg-open document/html/index.html