Index: scripts/document.sh
===================================================================
diff -u -r11b0f69637ae102fc8921f28ae709251a6c15a7f -rb3e020f9ad7da0c016d93e3037f872783a9bc4ca
--- scripts/document.sh	(.../document.sh)	(revision 11b0f69637ae102fc8921f28ae709251a6c15a7f)
+++ scripts/document.sh	(.../document.sh)	(revision b3e020f9ad7da0c016d93e3037f872783a9bc4ca)
@@ -1,7 +1,6 @@
 #!/bin/bash
 cd ../
 rm -rf html
-rm -rf latex
 doxygen Doxyfile
 cd html
 xdg-open index.html