mirror of
https://github.com/RGBCube/serenity
synced 2025-07-26 10:57:34 +00:00
Ports: Add GNU indent
This commit is contained in:
parent
32957745fb
commit
7fbf890717
3 changed files with 38 additions and 0 deletions
11
Ports/indent/patches/disable-docs.patch
Normal file
11
Ports/indent/patches/disable-docs.patch
Normal file
|
@ -0,0 +1,11 @@
|
|||
--- 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 \
|
Loading…
Add table
Add a link
Reference in a new issue