Merge branch 'master' into jc/web

diff --git a/Documentation/Makefile b/Documentation/Makefile
index ed8b886802b599609a312a3dbe8b5af240a9a4f7..c00f5f62b741150e92f38e6394bfa6f111b82b6e 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -107,7 +107,7 @@ WEBDOC_DEST = /pub/software/scm/git/docs
 
 $(patsubst %.txt,%.html,$(wildcard howto/*.txt)): %.html : %.txt
        rm -f $@+ $@
-       sed -e '1,/^$$/d' $? | asciidoc -b xhtml11 - >$@+
+       sed -e '1,/^$$/d' $< | asciidoc -b xhtml11 - >$@+
        mv $@+ $@
 
 install-webdoc : html