From ad4c5a227ba70f01a4970767ccf69a7b79e16a39 Mon Sep 17 00:00:00 2001
From: barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 17 Mar 2004 17:38:30 +0000
Subject: install de coqdoc

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5523 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 config/Makefile.template | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

(limited to 'config')

diff --git a/config/Makefile.template b/config/Makefile.template
index d3f853f17..3970fd738 100644
--- a/config/Makefile.template
+++ b/config/Makefile.template
@@ -79,17 +79,14 @@ OSDEPLIBS=OSDEPENDENTLIBS
 #  Win32 systems : .exe
 EXE=EXECUTEEXTENSION
 
-# the command used to install binaries, libs and help files
-INSTALL=COQTOPDIRECTORY/bin/ARCHITECTURE/coqinstallEXECUTEEXTENSION
-
 # the command MKDIR (try to replace it with mkdirhier if you have problems)
 MKDIR=mkdir -p
 
 # where to put the coqdoc.sty style file
-BASETEXDIR=TEXDIRECTORY
+COQDOCDIR=COQDOCDIRECTORY
 
 # command to update TeX' kpathsea database
-MKTEXLSR=MKTEXLSRCOMMAND
+#MKTEXLSR=MKTEXLSRCOMMAND
 
 #the command STRIP 
 # Unix systems and profiling: true
-- 
cgit v1.2.3