diff --git a/.gitignore b/.gitignore index ee7c6ec370..2b30f7938c 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,6 @@ *.DS_Store build/ +build_doc/ *.user .vscode