maint: remove unnecessary gnulib .diff file

* gl/modules/getloadavg.diff: Remove file.  It stopped being
useful back in February.
* Makefile.am (EXTRA_DIST): Remove it.

diff --git a/Makefile.am b/Makefile.am
index a003dbdf5ecf0575d78f1038ba560ab1e39277da..f737cf6c5d619c5de5ebc6252a3d3e7bd5107dde 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -52,7 +52,6 @@ EXTRA_DIST =                          \
   build-aux/cvsu                       \
   cfg.mk                               \
   dist-check.mk                                \
-  gl/modules/getloadavg.diff           \
   maint.mk                             \
   thanks-gen
 

diff --git a/gl/modules/getloadavg.diff b/gl/modules/getloadavg.diff
deleted file mode 100644 (file)
index cd03f62..0000000
--- a/gl/modules/getloadavg.diff
+++ /dev/null
@@ -1,13 +0,0 @@
-diff --git a/modules/getloadavg b/modules/getloadavg
-index 2fbeb40..b79aaca 100644
---- a/modules/getloadavg
-+++ b/modules/getloadavg
-@@ -16,7 +16,7 @@ stdbool
- fcntl-safer
-
- configure.ac:
--gl_GETLOADAVG([$gl_source_base])
-+gl_GETLOADAVG([lib])
- gl_STDLIB_MODULE_INDICATOR([getloadavg])
-
- Makefile.am: