Add the shell command

[tools/sat.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index b24ed44b027cdbf8f6e87f520c03bfb941702b54..341ccb71ea79c5484b91aaad8c5c20a10356e054 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -10,3 +10,5 @@ sat-py3
 doc/build
 .coverage
 test/htmlcov
+test/test_res.html
+doc/src/commands/apidoc*