diff --git a/.ackrc b/.ackrc index ab17a522cad042d8b02fa512a92f8f6d07a5281b..74759e641f3594649869c5c11e18a940abbbf0a1 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