diff options
authorMauro Carvalho Chehab <>2020-09-09 16:10:32 +0200
committerJonathan Corbet <>2020-09-10 10:44:31 -0600
commitf6236efced85b95752d2aec655d4a687dcabc04a (patch)
parent7eec675669fbdef376198d3b04349301de3270f4 (diff)
.gitignore: docs: ignore sphinx_*/ directories
The default way of building documentation is to use Sphinx toolchain installed via pip, inside the Kernel tree main directory. That's what's recommended by: scripts/sphinx-pre-install As it usually provides a better version of this package than the one installed, specially on LTS distros. So, add the directories created by running the commands suggested by the script. Signed-off-by: Mauro Carvalho Chehab <> Link: Signed-off-by: Jonathan Corbet <>
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 162bd2b67bdf..d01cda8e1177 100644
--- a/.gitignore
+++ b/.gitignore
@@ -152,3 +152,6 @@ x509.genkey
# Clang's compilation database file
+# Documentation toolchain