diff --git a/Makefile b/Makefile
index 85fe34567b779a5f6180cf9f55a0dbade7ceefb3..ced5be310ee5a9f66f87e3b653b3cf4077930c43 100644 (file)
--- a/Makefile
+++ b/Makefile
done
install-release-doc-man:
- GIT_INDEX_FILE=.tmp-doc-index git read-tree release
+ GIT_INDEX_FILE=.tmp-doc-index git read-tree origin/release
GIT_INDEX_FILE=.tmp-doc-index git checkout-index -f --prefix=./ $(MANDOC)
rm -f .tmp-doc-index
$(MAKE) install-doc-man
done
install-release-doc-html:
- GIT_INDEX_FILE=.tmp-doc-index git read-tree release
+ GIT_INDEX_FILE=.tmp-doc-index git read-tree origin/release
GIT_INDEX_FILE=.tmp-doc-index git checkout-index -f --prefix=./ $(HTMLDOC)
rm -f .tmp-doc-index
$(MAKE) install-doc-html