From 00a22792ffb65207c4a7fae442726217a60ec599 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Thu, 26 Jan 2017 11:54:59 -0800
Subject: [PATCH] tools: fix gitignore of generated manuals

---
 .gitignore | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index b5302f0c5..2095871db 100644
--- a/.gitignore
+++ b/.gitignore
@@ -28,8 +28,9 @@ tttt.*
 ttttt.*
 profs/*
 test.hs
-*/doc/*.[0-9].md
-*/doc/*.info
+*/doc/*.[0-9]
+*/doc/*.[0-9].txt
+*/doc/*.[0-9].info
 dist-newstyle/
 cabal.project.local
 *~