Add clean_docs script to make it easier to clean up the docs/_build d…

…irectory.
GalSim-developers · Aug 21, 2019 · 52079e0 · 52079e0
1 parent 9cff7a5
commit 52079e0
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/clean_docs b/clean_docs
@@ -0,0 +1,6 @@
+# Run this before committing if you've been checking your docs on a normal commit.
+# Only on releases to we want to actually commit the _build directory.
+cd docs
+make clean
+cd ..
+git checkout docs/_build