rhodecode-vcsserver Files · pkgs/patches/git/docbook2texi.patch

Added tag v4.17.4 for changeset

marcink - - Load All Authors

File last commit:

r584:9a864b66 default


                r722:fb061021

stable

Download file

             docbook2texi.patch
        
                    37 lines
            
             | 1.1 KiB
            
                | text/x-diff
            
             |
                DiffLexer
            
             / pkgs / patches / git / docbook2texi.patch
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      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).

      diff --git a/Documentation/Makefile b/Documentation/Makefile

      --- a/Documentation/Makefile

      +++ b/Documentation/Makefile

      @@ -122,7 +122,7 @@

       MAKEINFO = makeinfo

       INSTALL_INFO = install-info

      -DOCBOOK2X_TEXI = docbook2x-texi

      +DOCBOOK2X_TEXI = docbook2texi

       DBLATEX = dblatex

       ASCIIDOC_DBLATEX_DIR = /etc/asciidoc/dblatex

       DBLATEX_COMMON = -p $(ASCIIDOC_DBLATEX_DIR)/asciidoc-dblatex.xsl -s $(ASCIIDOC_DBLATEX_DIR)/asciidoc-dblatex.sty

      @@ -240,7 +240,7 @@

       man5: $(DOC_MAN5)

       man7: $(DOC_MAN7)

      -info: git.info gitman.info

      +info: git.info

       pdf: user-manual.pdf

      @@ -256,10 +256,9 @@

       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

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
g 0-9	Goto bookmarked items from 0-9
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository access permissions settings
t s	Toggle sidebar on some pages

				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).

				diff --git a/Documentation/Makefile b/Documentation/Makefile
				--- a/Documentation/Makefile
				+++ b/Documentation/Makefile
				@@ -122,7 +122,7 @@

				MAKEINFO = makeinfo
				INSTALL_INFO = install-info
				-DOCBOOK2X_TEXI = docbook2x-texi
				+DOCBOOK2X_TEXI = docbook2texi
				DBLATEX = dblatex
				ASCIIDOC_DBLATEX_DIR = /etc/asciidoc/dblatex
				DBLATEX_COMMON = -p $(ASCIIDOC_DBLATEX_DIR)/asciidoc-dblatex.xsl -s $(ASCIIDOC_DBLATEX_DIR)/asciidoc-dblatex.sty
				@@ -240,7 +240,7 @@
				man5: $(DOC_MAN5)
				man7: $(DOC_MAN7)

				-info: git.info gitman.info
				+info: git.info

				pdf: user-manual.pdf

				@@ -256,10 +256,9 @@

				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