##// END OF EJS Templates
Added tag v4.20.0 for changeset 1485aa75ffe1
Added tag v4.20.0 for changeset 1485aa75ffe1

File last commit:

r724:60c231be default
r873:0db174d9 stable
Show More
docbook2texi.patch
38 lines | 1.2 KiB | text/x-diff | DiffLexer
/ pkgs / patches / git / docbook2texi.patch
patches: organize into a single directory.
r560 This patch does two things: (1) use the right name for `docbook2texi',
and (2) make sure `gitman.info' isn't produced since it's broken (duplicate
node names).
dependencies: bumped GIT to 2.19.1 release
r584 diff --git a/Documentation/Makefile b/Documentation/Makefile
dependencies: bumped git to 2.22.0 release
r724 index 26a2342bea..ceccd67ebb 100644
dependencies: bumped GIT to 2.19.1 release
r584 --- a/Documentation/Makefile
+++ b/Documentation/Makefile
dependencies: bumped git to 2.22.0 release
r724 @@ -132,7 +132,7 @@ HTML_REPO = ../../git-htmldocs
dependencies: bumped GIT to 2.19.1 release
r584
patches: organize into a single directory.
r560 MAKEINFO = makeinfo
INSTALL_INFO = install-info
-DOCBOOK2X_TEXI = docbook2x-texi
+DOCBOOK2X_TEXI = docbook2texi
DBLATEX = dblatex
dependencies: bumped GIT to 2.19.1 release
r584 ASCIIDOC_DBLATEX_DIR = /etc/asciidoc/dblatex
DBLATEX_COMMON = -p $(ASCIIDOC_DBLATEX_DIR)/asciidoc-dblatex.xsl -s $(ASCIIDOC_DBLATEX_DIR)/asciidoc-dblatex.sty
dependencies: bumped git to 2.22.0 release
r724 @@ -250,7 +250,7 @@ man1: $(DOC_MAN1)
patches: organize into a single directory.
r560 man5: $(DOC_MAN5)
man7: $(DOC_MAN7)
dependencies: bumped GIT to 2.19.1 release
r584
patches: organize into a single directory.
r560 -info: git.info gitman.info
+info: git.info
dependencies: bumped GIT to 2.19.1 release
r584
patches: organize into a single directory.
r560 pdf: user-manual.pdf
dependencies: bumped GIT to 2.19.1 release
r584
dependencies: bumped git to 2.22.0 release
r724 @@ -266,10 +266,9 @@ install-man: man
dependencies: bumped GIT to 2.19.1 release
r584
patches: organize into a single directory.
r560 install-info: info
$(INSTALL) -d -m 755 $(DESTDIR)$(infodir)
- $(INSTALL) -m 644 git.info gitman.info $(DESTDIR)$(infodir)
+ $(INSTALL) -m 644 git.info $(DESTDIR)$(infodir)
if test -r $(DESTDIR)$(infodir)/dir; then \
$(INSTALL_INFO) --info-dir=$(DESTDIR)$(infodir) git.info ;\
- $(INSTALL_INFO) --info-dir=$(DESTDIR)$(infodir) gitman.info ;\
else \
echo "No directory found in $(DESTDIR)$(infodir)" >&2 ; \
fi