diff options
author | Junio C Hamano <gitster@pobox.com> | 2012-12-23 08:40:07 +0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2012-12-23 08:40:07 +0400 |
commit | 86c3e6ed515d5e3bfca1d515c607db55ba032d71 (patch) | |
tree | 69cc0ddc15dc194ddb996d7d9bb0a65ec7d501bb | |
parent | b3cf6f3b8d21b32d88313fc709442b78300975db (diff) | |
parent | c2999adcd5a7577ac445c4a9e6dd69d4b12a3664 (diff) |
Merge branch 'maint'
-rw-r--r-- | Documentation/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index f3afcb620d..e53d333e5c 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -331,7 +331,7 @@ $(patsubst %.txt,%.texi,$(MAN_TXT)): %.texi : %.xml howto-index.txt: howto-index.sh $(wildcard howto/*.txt) $(QUIET_GEN)$(RM) $@+ $@ && \ - '$(SHELL_PATH_SQ)' ./howto-index.sh $(wildcard howto/*.txt) >$@+ && \ + '$(SHELL_PATH_SQ)' ./howto-index.sh $(sort $(wildcard howto/*.txt)) >$@+ && \ mv $@+ $@ $(patsubst %,%.html,$(ARTICLES)) : %.html : %.txt |