Fix `release-doc' target for Git