summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rwxr-xr-xmake_docs.sh (renamed from makedocs.sh)0
1 files changed, 0 insertions, 0 deletions
diff --git a/makedocs.sh b/make_docs.sh
index 92765e79..92765e79 100755
--- a/makedocs.sh
+++ b/make_docs.sh