From 6fa67c99ba687f659fab0ad3f965993d833ca2b4 Mon Sep 17 00:00:00 2001 From: Adam Spiers Date: Thu, 24 Oct 2013 16:32:21 +0100 Subject: [PATCH] git-ignore files generated by "./tools/build_docs.sh ." Change-Id: Ibf190998e52e7814ddc7f7ab4cf174aee28df9bf --- .gitignore | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.gitignore b/.gitignore index 798b0814c9..0c22c6b62a 100644 --- a/.gitignore +++ b/.gitignore @@ -13,3 +13,5 @@ stack-screenrc accrc .stackenv .prereqs +docs/ +docs-files