rm -f $${GIT_INDEX_FILE} && \
git add -f Documentation/*.1 && \
git update-ref refs/heads/man \
- $$(echo "Autogenerated man pages for $$(git describe)" \
+ $$(echo "Autogenerated man pages for $$(git describe --always)" \
| git commit-tree $$(git write-tree --prefix=Documentation) \
-p refs/heads/man) && \
rm -f $${GIT_INDEX_FILE} && \
git add -f Documentation/*.html && \
git update-ref refs/heads/html \
- $$(echo "Autogenerated html pages for $$(git describe)" \
+ $$(echo "Autogenerated html pages for $$(git describe --always)" \
| git commit-tree $$(git write-tree --prefix=Documentation) \
-p refs/heads/html)