diff options
Diffstat (limited to 'Documentation/Makefile')
| -rw-r--r-- | Documentation/Makefile | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index bd6833b79e..cc89174860 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -45,7 +45,7 @@ git-diff-%.txt: diff-format.txt diff-options.txt touch $@ clean: - rm -f *.xml *.html *.1 *.7 howto-index.txt + rm -f *.xml *.html *.1 *.7 howto-index.txt howto/*.html %.html : %.txt asciidoc -b xhtml11 -d manpage $< @@ -74,5 +74,12 @@ howto-index.html: howto-index.txt WEBDOC_DEST = /pub/software/scm/git/docs +DOC_HTML += howto/revert-branch-rebase.html + +$(patsubst %.txt,%.html,$(wildcard howto/*.txt)): %.html : %.txt + rm -f $@+ $@ + sed -e '1,/^$$/d' $? | asciidoc -b xhtml11 - >$@+ + mv $@+ $@ + install-webdoc : html sh ./install-webdoc.sh $(WEBDOC_DEST) |