diff options
| author | Ali Mohammad Pur <ali.mpfard@gmail.com> | 2022-05-16 19:21:40 +0430 |
|---|---|---|
| committer | Ali Mohammad Pur <Ali.mpfard@gmail.com> | 2022-05-19 20:17:10 +0430 |
| commit | 6058f623e976092c3138f2d90f7472c520959cc1 (patch) | |
| tree | 8aa143034c308def256459642887682bacf10caf /Ports/indent/patches | |
| parent | aea8b8fd0f3b2e312a1516418b7ae5beaeda486f (diff) | |
| download | serenity-6058f623e976092c3138f2d90f7472c520959cc1.zip | |
Ports: Update indent's patches to use git patches
Diffstat (limited to 'Ports/indent/patches')
| -rw-r--r-- | Ports/indent/patches/0001-Don-t-build-docs.patch | 25 | ||||
| -rw-r--r-- | Ports/indent/patches/ReadMe.md | 7 | ||||
| -rw-r--r-- | Ports/indent/patches/disable-docs.patch | 11 |
3 files changed, 32 insertions, 11 deletions
diff --git a/Ports/indent/patches/0001-Don-t-build-docs.patch b/Ports/indent/patches/0001-Don-t-build-docs.patch new file mode 100644 index 0000000000..3d9c565917 --- /dev/null +++ b/Ports/indent/patches/0001-Don-t-build-docs.patch @@ -0,0 +1,25 @@ +From e8f990d19324dd80271db8626b72c57aaceb26b9 Mon Sep 17 00:00:00 2001 +From: Brendan Coles <bcoles@gmail.com> +Date: Mon, 9 Nov 2020 10:52:11 +0000 +Subject: [PATCH] Don't build docs + +--- + Makefile.in | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/Makefile.in b/Makefile.in +index cdf7999..ce49203 100644 +--- a/Makefile.in ++++ b/Makefile.in +@@ -237,7 +237,7 @@ top_build_prefix = @top_build_prefix@ + top_builddir = @top_builddir@ + top_srcdir = @top_srcdir@ + AUTOMAKE_OPTIONS = no-texinfo.tex +-SUBDIRS = intl src doc po man ++SUBDIRS = intl src po + BUILT_SOURCES = + EXTRA_DIST = README \ + config/config.rpath config/mkinstalldirs \ +-- +2.36.1 + diff --git a/Ports/indent/patches/ReadMe.md b/Ports/indent/patches/ReadMe.md new file mode 100644 index 0000000000..dc7e9abaf2 --- /dev/null +++ b/Ports/indent/patches/ReadMe.md @@ -0,0 +1,7 @@ +# Patches for indent on SerenityOS + +## `0001-Don-t-build-docs.patch` + +Don't build docs + + diff --git a/Ports/indent/patches/disable-docs.patch b/Ports/indent/patches/disable-docs.patch deleted file mode 100644 index 332e88bcfb..0000000000 --- a/Ports/indent/patches/disable-docs.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- indent-2.2.11/Makefile.in.orig 2020-11-09 01:22:06.155330703 -0800 -+++ indent-2.2.11/Makefile.in 2020-11-09 01:22:26.199212026 -0800 -@@ -237,7 +237,7 @@ - top_builddir = @top_builddir@ - top_srcdir = @top_srcdir@ - AUTOMAKE_OPTIONS = no-texinfo.tex --SUBDIRS = intl src doc po man -+SUBDIRS = intl src po - BUILT_SOURCES = - EXTRA_DIST = README \ - config/config.rpath config/mkinstalldirs \ |