From bf12eb93f3f6a6a824a10878878fadd59745aae0 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Sat, 29 Dec 2012 10:57:43 +0100 Subject: Imported Upstream version 8.4pl1dfsg --- Makefile.doc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Makefile.doc') diff --git a/Makefile.doc b/Makefile.doc index 685887f5..31a0675c 100644 --- a/Makefile.doc +++ b/Makefile.doc @@ -53,10 +53,10 @@ rectutorial: doc/RecTutorial/RecTutorial.html \ ifdef QUICK %.v.tex: %.tex - (cd `dirname $<`; $(COQSRC)/$(COQTEX) $(COQTEXOPTS) `basename $<`) + $(COQTEX) $(COQTEXOPTS) $< else %.v.tex: %.tex $(COQTEX) $(COQTOPEXE) $(PLUGINSVO) $(THEORIESVO) - (cd `dirname $<`; $(COQSRC)/$(COQTEX) $(COQTEXOPTS) `basename $<`) + $(COQTEX) $(COQTEXOPTS) $< endif %.ps: %.dvi -- cgit v1.2.3