From 2ca8e86f83605189e922dd05271c74150e9330d5 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Tue, 31 Dec 2019 12:40:04 +0100
Subject: [PATCH] gitignore: update

---
 doc/.gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/.gitignore b/doc/.gitignore
index 14bbce2c..9b649bd7 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -16,6 +16,7 @@
 /bison.help
 /bison.html
 /bison.info
+/bison.info.bak
 /bison.log
 /bison.pdf
 /bison.ps