From 2f48dbd166d38a06a99c6f850abe9214969ac36a Mon Sep 17 00:00:00 2001
From: Axel Pahl <apahl@users.noreply.github.com>
Date: Tue, 8 Nov 2016 09:08:42 +0100
Subject: Update .gitignore

Update .gitignore to reflect the new target dir of the generated documentation.
`./koch doc` now writes the documentation to `doc/html/...`
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 57b8a68d4..f5b8e4826 100644
--- a/.gitignore
+++ b/.gitignore
@@ -21,6 +21,7 @@ tags
 install.sh
 deinstall.sh
 
+doc/html/
 doc/*.html
 doc/*.pdf
 doc/*.idx
-- 
cgit 1.4.1-2-gfad0