diff options
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 |