@@ -1,3 +1,5 @@
#!/bin/bash
+cd doc/tutorial; make tutorial.html &> /dev/null; cd -
+cd doc/doxygen; make full &> /dev/null; cd -
make install