From 01b58f124d6b16fa8be43672f8073ef76e55ca84 Mon Sep 17 00:00:00 2001
From: paltherr <paltherr@epfl.ch>
Date: Tue, 5 Aug 2003 10:56:35 +0000
Subject: *** empty log message ***

---
 support/make/latex.mk | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'support')

diff --git a/support/make/latex.mk b/support/make/latex.mk
index 933e049fae..0f77b56b84 100644
--- a/support/make/latex.mk
+++ b/support/make/latex.mk
@@ -86,8 +86,8 @@ latex.distclean		:
 %.pdf			: %.tex $(LATEX_SOURCES)
 	$(LATEXMK) -pdf $<
 
-.PRECIOUS	: %.dvi
-.PRECIOUS	: %.ps
-.PRECIOUS	: %.pdf
+.PRECIOUS		: %.dvi
+.PRECIOUS		: %.ps
+.PRECIOUS		: %.pdf
 
 ##############################################################################
-- 
cgit v1.2.3