From 09f2d8641f68205975d153f552a016fecccb10c1 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Fri, 7 Jan 2022 10:16:06 -0800
Subject: [PATCH] Fix gitignore wildcards to use `**`.

---
 .gitignore | 31 ++++++++++++++++---------------
 1 file changed, 16 insertions(+), 15 deletions(-)

diff --git a/.gitignore b/.gitignore
index 710b6774d..81bd5106f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,8 +1,8 @@
 *
-!.circleci/*
+!.circleci/**
 !.editorconfig
 !.gitattributes
-!.github/*
+!.github/**
 !.gitignore
 !.hlint.yaml
 !.mailmap
@@ -27,16 +27,17 @@
 !release.nix
 !shell.nix
 !stack.yaml
-!app/*
-!benchmark/*
-!citeproc/*
-!data/*
-!doc/*
-!linux/*
-!macos/*
-!man/*
-!src/*
-!test/*
-!tools/*
-!trypandoc/*
-!windows/*
+!app/**
+!benchmark/**
+!citeproc/**
+!data/**
+!doc/**
+!linux/**
+!macos/**
+!man/**
+!src/**
+!test/**
+!tools/**
+!trypandoc/**
+!windows/**
+*.bkp