diff options
-rw-r--r-- | .gitignore | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 6bc7b3394e4..b172c446553 100644 --- a/.gitignore +++ b/.gitignore @@ -26,3 +26,9 @@ Desktop.ini # local patches /*.patch /*.diff + +# in-source doc-gen +/doc/doxygen/html/ +/doc/python_api/sphinx-in-tmp/ +/doc/python_api/sphinx-in/ +/doc/python_api/sphinx-out/ |