diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/.gitignore b/.gitignore index 80c4e4f92c9..4fb7ecc809f 100644 --- a/.gitignore +++ b/.gitignore @@ -82,10 +82,7 @@ GTAGS /build-root/docs /build-root/.doxygen-bootstrap.ok /build-root/.doxygen-siphon.dep -/docs/_build -/docs/dynamic_includes -/sphinx_venv -!/docs/Makefile +/docs/venv # language servers compile_commands.json |