1
0
mirror of https://github.com/git/git.git synced 2024-10-06 06:21:54 +02:00
git/Documentation/Makefile
Sebastian Kuzminsky 7984eabe07 [PATCH] manpage name conflict
This moves the git manpage to man7, since "git" isn't a direct command
per se.  It also does two other things:

    * Sort of works around the asciidoc 6.0.3 bug where the manpages all
      get called "git.1".  It just renames them to what they should have
      been called.

    * Fixes a cut-n-paste bug in git-diff-helper.txt that was making
      asciidoc choke.
2005-05-19 09:58:44 -07:00

28 lines
552 B
Makefile

DOC_SRC=$(wildcard git*.txt)
DOC_HTML=$(patsubst %.txt,%.html,$(DOC_SRC))
DOC_MAN=$(patsubst %.txt,%.1,$(wildcard git-*.txt)) git.7
all: $(DOC_HTML) $(DOC_MAN)
html: $(DOC_HTML)
man: $(DOC_MAN)
# 'include' dependencies
git-diff-%.txt: diff-format.txt
touch $@
clean:
rm -f *.xml *.html *.1 *.7
%.html : %.txt
asciidoc -b css-embedded -d manpage $<
%.1 %.7 : %.xml
xmlto man $<
# FIXME: this next line works around an output filename bug in asciidoc 6.0.3
[ "$@" = "git.7" ] || mv git.1 $@
%.xml : %.txt
asciidoc -b docbook -d manpage $<