clean up

ral-facilities · Jun 30, 2023 · 09d4a6c · 09d4a6c
1 parent 49419ce
commit 09d4a6c
Show file tree

Hide file tree

Showing 6 changed files with 3 additions and 194 deletions.
diff --git a/Makefile b/Makefile
@@ -18,4 +18,5 @@ help:
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
 %: Makefile
 	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
-	mv docs/html/* docs
+	cp -r docs/html/* docs
+	rm -rf docs/html
diff --git a/TechUpdates/2023-06-TechUpdate.md b/TechUpdates/2023-06-TechUpdate.md
diff --git a/TechUpdates/isis-data-cache.md b/TechUpdates/isis-data-cache.md
diff --git a/TechUpdates/software.md b/TechUpdates/software.md
diff --git a/docs/doctrees/environment.pickle b/docs/doctrees/environment.pickle