diff options
Diffstat (limited to 'patches')
| -rw-r--r-- | patches/indent-2.2.12.local.patch | 12 | ||||
| -rw-r--r-- | patches/indent-2.2.13.local.patch | 12 |
2 files changed, 12 insertions, 12 deletions
diff --git a/patches/indent-2.2.12.local.patch b/patches/indent-2.2.12.local.patch deleted file mode 100644 index c384344f..00000000 --- a/patches/indent-2.2.12.local.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff -ru indent-2.2.12.orig/Makefile.in indent-2.2.12/Makefile.in ---- indent-2.2.12.orig/Makefile.in 2020-11-15 00:08:42.898242760 +0100 -+++ indent-2.2.12/Makefile.in 2020-11-15 09:33:23.686422521 +0100 -@@ -378,7 +378,7 @@ - top_builddir = @top_builddir@ - top_srcdir = @top_srcdir@ - AUTOMAKE_OPTIONS = no-texinfo.tex --SUBDIRS = intl src doc po man regression -+SUBDIRS = intl src doc po man - BUILT_SOURCES = - DISTFILES = $(DIST_COMMON:README=README.md) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST) - EXTRA_DIST = README.md \ diff --git a/patches/indent-2.2.13.local.patch b/patches/indent-2.2.13.local.patch new file mode 100644 index 00000000..1b17d372 --- /dev/null +++ b/patches/indent-2.2.13.local.patch @@ -0,0 +1,12 @@ +diff -ru indent-2.2.13.orig/Makefile.in indent-2.2.13/Makefile.in +--- indent-2.2.13.orig/Makefile.in 2023-01-26 10:52:31.000000000 +0100 ++++ indent-2.2.13/Makefile.in 2023-03-21 18:19:33.457352230 +0100 +@@ -336,7 +336,7 @@ + top_builddir = @top_builddir@ + top_srcdir = @top_srcdir@ + AUTOMAKE_OPTIONS = no-texinfo.tex +-SUBDIRS = src doc po man regression ++SUBDIRS = src doc po man + BUILT_SOURCES = + DISTFILES = $(DIST_COMMON:README=README.md) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST) + EXTRA_DIST = README.md \ |