From 95c09bbfdef979b74c847729d85c193e1ffddce7 Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Fri, 30 Mar 2018 17:09:21 -0700 Subject: [PATCH] Add docs/_build to .gitignore. It's generated by running "make html" or other make command in the docs directory. --- cranelift/.gitignore | 1 + 1 file changed, 1 insertion(+) 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