From 5899b88c5270fe8fda1753394d8110e076714b1e Mon Sep 17 00:00:00 2001
From: Jan Lindemann <jan@jannet.de>
Date: Fri, 1 Mar 2002 21:54:29 +0000
Subject: [PATCH] tex.mk: Make $(OUTPUT).pdf depend on $(GENERATED)

---
 make/tex.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/make/tex.mk b/make/tex.mk
index e2734cb6..830fdb14 100644
--- a/make/tex.mk
+++ b/make/tex.mk
@@ -251,7 +251,7 @@ $(OUT).html.zip: $(HTMLDIR)
 #$(OUT).ps.zip: $(OUTPUT).ps
 #	zip $@ $<
 
-$(OUTPUT).pdf:
+$(OUTPUT).pdf: $(GENERATED)
 	@echo "-- creating pdf file"
 	pdflatex $(MAIN).tex;  pdflatex $(MAIN).tex;  pdflatex $(MAIN).tex  
 	mv $(MAIN).pdf $(OUTPUT).pdf