Merge branch 'maint'

git-mirror · Dec 23, 2012 · 86c3e6e · 86c3e6e
2 parents b3cf6f3 + c2999ad
commit 86c3e6e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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