X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;f=all%2FMakefile;h=bb45b0783a679b5cb7407f01d34ed6b42aa1198a;hb=c3db7103f942ee420b7d525802bbc6b9b2a98b90;hp=c32fc18f66e03394e0af1291e9a872de7a216a95;hpb=92283d76b2c15f67b318e8aa3cfac7ff2b8380fc;p=ads2.git

diff --git a/all/Makefile b/all/Makefile
index c32fc18..bb45b07 100644
--- a/all/Makefile
+++ b/all/Makefile
@@ -1,5 +1,5 @@
 P=ads2
-X:=$(shell for a in 1 2 3 4 6 ; do echo ../$$a-*/$$a-*.tex ; done)
+X:=$(shell for a in 1 2 3 4 5 6 7 8 9 10 12 ; do echo ../$$a-*/$$a-*.tex ; done)
 
 %universe: all ChangeLog