From 67c2f04e9603d6e7fca07af86f68f0be88aaa4ee Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <gerwitm@lovullo.com>
Date: Tue, 12 May 2015 13:41:52 -0400
Subject: [PATCH] nullglob for gen-index

---
 tools/gen-index | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/gen-index b/tools/gen-index
index 7d78470..9c97ef8 100755
--- a/tools/gen-index
+++ b/tools/gen-index
@@ -19,7 +19,7 @@
 #  along with this program.  If not, see <http://www.gnu.org/licenses/>.
 ##
 
-shopt -s extglob
+shopt -s extglob nullglob
 
 destpath="${1?Destination path required}"