From 9e021c9223aad7a938f511b9e29ab5cc2cfa2248 Mon Sep 17 00:00:00 2001
From: Christoph Berg <myon@debian.org>
Date: Fri, 29 Aug 2025 22:11:58 +0200
Subject: [PATCH] Remove INSTALL file from Git

The autoconf toolchain really likes to replace INSTALL with its own
generic installation instructions, causing noise in the `git diff`
output. Since the current file doesn't really have content, just remove
it and add INSTALL to .gitignore.
---
 .gitignore | 1 +
 INSTALL    | 3 ---
 2 files changed, 1 insertion(+), 3 deletions(-)
 delete mode 100644 INSTALL

diff --git a/.gitignore b/.gitignore
index 40655ee91..183b9fbb4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -20,6 +20,7 @@ config.status
 config.sub
 configure
 depcomp
+INSTALL
 install-sh
 missing
 src/.deps
diff --git a/INSTALL b/INSTALL
deleted file mode 100644
index cd9fb1832..000000000
--- a/INSTALL
+++ /dev/null
@@ -1,3 +0,0 @@
-INSTALL
-
-Please see README.md for installation instructions.
\ No newline at end of file