use shutil.move instead of os.remove

[tools/sat.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index ecc89eb5e71503d6136c5303e7c8e2540aa5d42a..341ccb71ea79c5484b91aaad8c5c20a10356e054 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -11,3 +11,4 @@ doc/build
 .coverage
 test/htmlcov
 test/test_res.html
+doc/src/commands/apidoc*