X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;f=all%2FMakefile;h=35c14c5635bc86271c5b840ed0c9163ee76aa84a;hb=09d7c85a44c07040d164d8293593fdb84fc9bba7;hp=9b17b083c19bc1d406f15595b1607dc4175766f9;hpb=5d2b5ec130ada6c7dada63fef14515e01d4bd3c8;p=ads1.git

diff --git a/all/Makefile b/all/Makefile
index 9b17b08..35c14c5 100644
--- a/all/Makefile
+++ b/all/Makefile
@@ -1,5 +1,5 @@
 P=ads
-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 8 ; do echo ../$$a-*/$$a-*.tex ; done)
 
 %universe: all ChangeLog