diff --git a/.gitignore b/.gitignore index 0be658dfaf55..27f6934f050a 100644 --- a/.gitignore +++ b/.gitignore @@ -91,3 +91,4 @@ release/ # Ignore release verification Sha256Sums SHA256SUMS-* +doc/.doc_version