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

diff --git a/all/Makefile b/all/Makefile
index c32fc18..7b16831 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 6 7 ; do echo ../$$a-*/$$a-*.tex ; done)
 
 %universe: all ChangeLog