From 13f66738858e20be1f9ff1a9d38baf3f1586ef1c Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Sun, 22 May 2011 14:10:37 +0200
Subject: [PATCH] Uprava Makefile

---
 all/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/all/Makefile b/all/Makefile
index 449655b..7671111 100644
--- 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
 
-- 
2.39.2