diff --git a/cranelift/.gitignore b/cranelift/.gitignore index a481ff48e8..041b7ad3a8 100644 --- a/cranelift/.gitignore +++ b/cranelift/.gitignore @@ -10,3 +10,4 @@ Cargo.lock cretonne.dbg* .mypy_cache rusty-tags.* +docs/_build