summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 7fe7b41)
raw | patch | inline | side by side (parent: 7fe7b41)
author | Jonas Fonseca <fonseca@diku.dk> | |
Sat, 21 Nov 2009 14:37:26 +0000 (09:37 -0500) | ||
committer | Jonas Fonseca <fonseca@diku.dk> | |
Sat, 21 Nov 2009 14:37:26 +0000 (09:37 -0500) |
Thanks to bill lam for spotting this.
Makefile | patch | blob | history |
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