Minor documentation changes.

2024-07-11 15:45:33 -07:00
1 parent 6ded352265
commit 6c7fc7d28f
@@ -28,9 +28,7 @@ else
 fi

 echo -n "Building library documentation manual..."
-cd docs
 doxygen doxygen.sty >/dev/null 2>/dev/null
-cd ..
 echo "OK"

 rm *.o