diff options
| author |  notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-09-14 13:27:08 +0000 |
|---|---|---|
| committer | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-09-14 13:27:08 +0000 |
| commit | cdf14fa9adc3772eef481f5cc62d9add86f07a22 (patch) | |
| tree | ede4c0e7f25f4e26f5eebd539b81a4d2fef18f5b /config | |
| parent | e1fc55c055f7636dea9c05819aefae61d7224698 (diff) | |
Compilation de Coq sous Windows
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9137 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'config')
| -rw-r--r-- | config/Makefile.template | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/Makefile.template b/config/Makefile.template index 4e592e6e6..5310aec94 100644 --- a/config/Makefile.template +++ b/config/Makefile.template @@ -102,7 +102,7 @@ EXE=EXECUTEEXTENSION MKDIR=mkdir -p # where to put the coqdoc.sty style file -COQDOCDIR=COQDOCDIRECTORY +COQDOCDIR="COQDOCDIRECTORY" # command to update TeX' kpathsea database #MKTEXLSR=MKTEXLSRCOMMAND |