--- a/debian/rules	2016-05-29 17:04:58.972055023 +0100
--- b/debian/rules	2016-05-29 17:12:01.366562238 +0100
@@ -9,7 +9,7 @@
 	set -ex ; \
 	touch $@ ; \
 	cat $@.start >> $@ ; \
-	for dbebnf in ebnf-* ; do \
+	for dbebnf in $(sort $(wildcard ebnf-*)) ; do \
 		dbebnfver=`echo $${dbebnf} | sed -e 's/ebnf-//g'` ; \
 		[ -f $${dbebnf}/dbebnf.dtd ] && \
 		    echo "PUBLIC \"-//OASIS//DTD DocBook EBNF Module V$${dbebnfver}//EN\"" >> $@ && \
@@ -21,7 +21,7 @@
 	set -ex ; \
 	touch $@ ; \
 	cat $@.start >> $@ ; \
-	for dbebnf in ebnf-* ; do \
+	for dbebnf in $(sort $(wildcard ebnf-*)) ; do \
 		dbebnfver=`echo $${dbebnf} | sed -e 's/ebnf-//g'` ; \
 		[ -f $${dbebnf}/dbebnf.dtd ] && \
 		    echo "<public publicId=\"-//OASIS//DTD DocBook EBNF Module V$${dbebnfver}//EN\"" >> $@ && \
@@ -39,7 +39,7 @@
 debian/docbook-ebnf.install:
 	set -ex ; \
 	touch $@ ; \
-	for dbebnf in ebnf-* ; do \
+	for dbebnf in $(sort $(wildcard ebnf-*)) ; do \
 		dbebnfver=`echo $${dbebnf} | sed -e 's/ebnf-//g'` ; \
 		[ -f $${dbebnf}/dbebnf.dtd ] && \
 		    echo "$${dbebnf}/dbebnf.dtd usr/share/xml/docbook/custom/ebnf/$${dbebnfver}" >> $@ ; \
@@ -57,7 +57,7 @@
 	touch $@ ; \
 	cat $@.in >> $@ ; \
 	echo "local;$<;/usr/share/xml/docbook/custom/ebnf/catalog.xml" >> $@ ; \
-	for dbebnf in ebnf-* ; do \
+	for dbebnf in $(sort $(wildcard ebnf-*)) ; do \
 		dbebnfver=`echo $${dbebnf} | sed -e 's/ebnf-//g'` ; \
 		[ -f $${dbebnf}/dbebnf.dtd ] && \
 		    echo -n "package;system;" >> $@ && \