diff --git a/.dockerignore b/.dockerignore index d8583d620..a0f41b0cd 100644 --- a/.dockerignore +++ b/.dockerignore @@ -7,6 +7,8 @@ docs/source/apiref docs/source/_misc docs/source/release_notes.rst docs/source/tutorials +docs/source/_static/drawio +docs/source/drawio_src/**/export *__pycache__* *.idea/* .idea/* diff --git a/.gitignore b/.gitignore index 003754257..a0f41b0cd 100644 --- a/.gitignore +++ b/.gitignore @@ -8,7 +8,7 @@ docs/source/_misc docs/source/release_notes.rst docs/source/tutorials docs/source/_static/drawio -docs/source/diagrams/**/export +docs/source/drawio_src/**/export *__pycache__* *.idea/* .idea/* diff --git a/makefile b/makefile index 039dccda0..c243685dd 100644 --- a/makefile +++ b/makefile @@ -111,7 +111,7 @@ clean_docs: rm -rf docs/source/_misc rm -rf docs/source/tutorials rm -rf docs/source/_static/drawio - rm -rf docs/source/diagrams/**/export + rm -rf docs/source/drawio_src/**/export .PHONY: clean_docs clean: clean_docs