From ab411a748647d9f2d1f9622b8cbf9a3dbdc00abc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Brandenburg?= <bbb@mpi-sws.org>
Date: Mon, 13 May 2019 07:50:48 +0200
Subject: [PATCH] ack: don't search through generated HTML files

---
 .ackrc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.ackrc b/.ackrc
index ab17a522c..74759e641 100644
--- a/.ackrc
+++ b/.ackrc
@@ -2,4 +2,5 @@
 # See https://beyondgrep.com/ for details.
 
 # Ignore misc files generated by the build process
---ignore-file=ext:glob,aux
\ No newline at end of file
+--ignore-file=ext:glob,aux
+--ignore-dir=html
\ No newline at end of file
-- 
GitLab