From 52ce56b67654c2559112d62d9ea2e9e91024a6b7 Mon Sep 17 00:00:00 2001 From: Petr Viktorin Date: Wed, 29 Nov 2017 14:05:28 +0100 Subject: [PATCH] Doc: Add .build to .gitignore This directory is created using `make html`. --- Doc/.gitignore | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Doc/.gitignore b/Doc/.gitignore index a485625..5e13421 100644 --- a/Doc/.gitignore +++ b/Doc/.gitignore @@ -1 +1,2 @@ -/_build +/_build/ +/.build/