From 8fdf9307b6e8e9b4d46e439237eb85d52caab85c Mon Sep 17 00:00:00 2001
From: =?utf8?q?P=C3=A1draig=20Brady?= <P@draigBrady.com>
Date: Fri, 2 Sep 2022 22:06:05 +0100
Subject: [PATCH] maint: add lib/gmp.h to .gitignore

* .gitignore: Add generated file.  Tested with:
./configure --without-libgmp && make && git status
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 5083abbbc5..56b7c323a3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -63,6 +63,7 @@
 /lib/getopt-cdefs.h
 /lib/getopt.h
 /lib/glthread
+/lib/gmp.h
 /lib/iconv.h
 /lib/iconv_open-aix.h
 /lib/iconv_open-hpux.h
-- 
2.47.2