From 417e43327caf008dcf4eb11ba7edcf1d1da986c9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?P=C3=A1draig=20Brady?= <P@draigBrady.com>
Date: Thu, 5 Feb 2026 12:58:35 +0000
Subject: [PATCH] maint: remove local maintainer-makefile adjustment

* gl/top/maint.mk.diff: Remove as the fix is now in gnulib.
* gl/local.mk: Remove the diff reference.
---
 gl/local.mk          |  3 +--
 gl/top/maint.mk.diff | 12 ------------
 2 files changed, 1 insertion(+), 14 deletions(-)
 delete mode 100644 gl/top/maint.mk.diff

diff --git a/gl/local.mk b/gl/local.mk
index 56ffb5855..8befebe0a 100644
--- a/gl/local.mk
+++ b/gl/local.mk
@@ -81,5 +81,4 @@ gl/modules/targetdir \
 gl/modules/xdectoint \
 gl/modules/xfts \
 gl/tests/test-fadvise.c \
-gl/tests/test-rand-isaac.c \
-gl/top/maint.mk.diff
+gl/tests/test-rand-isaac.c
diff --git a/gl/top/maint.mk.diff b/gl/top/maint.mk.diff
deleted file mode 100644
index 44b99488a..000000000
--- a/gl/top/maint.mk.diff
+++ /dev/null
@@ -1,12 +0,0 @@
-diff --git a/top/maint.mk b/top/maint.mk
-index ad60c8fb11..3475f3733c 100644
---- a/top/maint.mk
-+++ b/top/maint.mk
-@@ -1740,6 +1740,7 @@ web-manual:
- 	$(AM_V_GEN)test -z "$(manual_title)" \
- 	  && { echo define manual_title in cfg.mk 1>&2; exit 1; } || :
- 	$(AM_V_at)cd '$(srcdir)/doc'; \
-+	  MAKEINFO="$(MAKEINFO)" \
- 	  $(SHELL) ../$(_build-aux)/gendocs.sh $(gendocs_options_) \
- 	     -o '$(abs_builddir)/doc/manual' \
- 	     --email $(PACKAGE_BUGREPORT) $(PACKAGE) \