2009-07-02 18:05:55 +01:00
|
|
|
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).
|
|
|
|
|
|
2018-04-09 09:02:57 +01:00
|
|
|
diff --git a/Documentation/Makefile b/Documentation/Makefile
|
|
|
|
|
--- a/Documentation/Makefile
|
|
|
|
|
+++ b/Documentation/Makefile
|
|
|
|
|
@@ -122,7 +122,7 @@
|
2013-09-30 16:18:48 +01:00
|
|
|
|
|
|
|
|
MAKEINFO = makeinfo
|
|
|
|
|
INSTALL_INFO = install-info
|
|
|
|
|
-DOCBOOK2X_TEXI = docbook2x-texi
|
|
|
|
|
+DOCBOOK2X_TEXI = docbook2texi
|
|
|
|
|
DBLATEX = dblatex
|
2018-04-09 09:02:57 +01:00
|
|
|
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 @@
|
2008-03-12 15:21:45 +00:00
|
|
|
man5: $(DOC_MAN5)
|
|
|
|
|
man7: $(DOC_MAN7)
|
|
|
|
|
|
|
|
|
|
-info: git.info gitman.info
|
|
|
|
|
+info: git.info
|
|
|
|
|
|
2009-07-02 16:41:58 +01:00
|
|
|
pdf: user-manual.pdf
|
|
|
|
|
|
2018-04-09 09:02:57 +01:00
|
|
|
@@ -256,10 +256,9 @@
|
2008-03-12 15:21:45 +00:00
|
|
|
|
|
|
|
|
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
|
