Merge branch 'mh/ceiling'

diff --git a/Documentation/Makefile b/Documentation/Makefile
index f3afcb620ddd64696900d45b3ab6db2c43ec6ccd..e53d333e5c08515af1e21d81c7daa365b12609a1 100644 (file)
--- 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