From 2e69a376c541fe644b14e7e23eead013864626c4 Mon Sep 17 00:00:00 2001
From: filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 24 Feb 2004 15:26:16 +0000
Subject: coqdoc

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

(limited to 'config')

diff --git a/config/Makefile.template b/config/Makefile.template
index 0749c3540..d3f853f17 100644
--- a/config/Makefile.template
+++ b/config/Makefile.template
@@ -85,6 +85,12 @@ 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
+
+# command to update TeX' kpathsea database
+MKTEXLSR=MKTEXLSRCOMMAND
+
 #the command STRIP 
 # Unix systems and profiling: true
 # Unix systems and no profiling: strip
-- 
cgit v1.2.3