Uprava Makefile

diff --git a/all/Makefile b/all/Makefile
index 449655b5d7931fed56c1013d6aeb166a8a3d5d7f..767111169d6aa56e35b22e2eb376fcb78ce9c454 100644 (file)
--- a/all/Makefile
+++ b/all/Makefile
@@ -1,5 +1,5 @@
 P=ads
-X:=$(shell for a in 1 ; do echo ../$$a-*/$$a-*.tex ; done)
+X:=$(shell for a in 1 5 7 8 ; do echo ../$$a-*/$$a-*.tex ; done)
 
 %universe: all ChangeLog