Allow asciidoc formatted documentation in howto/

diff --git a/Documentation/Makefile b/Documentation/Makefile
index bd6833b79ef1354c05062fb063d335dcb6bb8511..cc891748602e63eb133584a68370bbc1697e7b51 100644 (file)
--- 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)