diff options
| author | Emanuel Haupt <ehaupt@FreeBSD.org> | 2025-07-07 20:03:00 +0200 |
|---|---|---|
| committer | Emanuel Haupt <ehaupt@FreeBSD.org> | 2025-07-07 20:03:17 +0200 |
| commit | 3508799be924c3e1594e54067b94395db7a68fcf (patch) | |
| tree | 363ee6b279b65af3f3f6f7b827761acf47aa9843 /shells/bash/files/patch-doc_Makefile.in | |
| parent | shells/bash53: Remove extra version of bash (diff) | |
shells/bash: Update to 5.3
Changes: https://lists.gnu.org/archive/html/bash-announce/2025-07/msg00000.html
Diffstat (limited to 'shells/bash/files/patch-doc_Makefile.in')
| -rw-r--r-- | shells/bash/files/patch-doc_Makefile.in | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/shells/bash/files/patch-doc_Makefile.in b/shells/bash/files/patch-doc_Makefile.in deleted file mode 100644 index bdb9477dec3f..000000000000 --- a/shells/bash/files/patch-doc_Makefile.in +++ /dev/null @@ -1,22 +0,0 @@ ---- doc/Makefile.in.orig 2022-09-27 16:41:33 UTC -+++ doc/Makefile.in -@@ -175,7 +175,7 @@ bashref.dvi: $(BASHREF_FILES) $(HSUSER) $(RLUSER) - $(RM) $@ - ${SET_TEXINPUTS} $(TEXI2DVI) $(srcdir)/bashref.texi || { ${RM} $@ ; exit 1; } - --bashref.info: $(BASHREF_FILES) $(HSUSER) $(RLUSER) -+bash.info: $(BASHREF_FILES) $(HSUSER) $(RLUSER) - $(RM) $@ - $(MAKEINFO) --no-split -I$(TEXINPUTDIR) $(srcdir)/bashref.texi - -@@ -188,10 +188,6 @@ bashref.pdf: $(BASHREF_FILES) $(HSUSER) $(RLUSER) - # $(TEXI2HTML) -menu -monolithic -I $(TEXINPUTDIR) $(srcdir)/bashref.texi - bashref.html: $(BASHREF_FILES) $(HSUSER) $(RLUSER) - $(MAKEINFO) --html --no-split -I$(TEXINPUTDIR) $(srcdir)/bashref.texi -- --bash.info: $(BASHREF_FILES) $(HSUSER) $(RLUSER) -- $(RM) $@ -- $(MAKEINFO) -o $@ --no-split -I$(TEXINPUTDIR) $(srcdir)/bashref.texi - - bash.txt: bash.1 - bash.ps: bash.1 |