1 files changed, 9 insertions, 8 deletions
diff --git a/configure b/configure
index fa1c9f111..2349000e5 100755
--- a/configure
+++ b/configure
@@ -738,14 +738,15 @@ esac
 
 case $ARCH$CYGWIN in
   win32)
-	 bindir_def='C:\coq\bin'
-	 libdir_def='C:\coq\lib'
-	 configdir_def='C:\coq\config'
-	 datadir_def='C:\coq\data'
-	 mandir_def='C:\coq\man'
-	 docdir_def='C:\coq\doc'
-	 emacslib_def='C:\coq\emacs'
-         coqdocdir_def='C:\coq\latex';;
+	 W32PREF='C:\\coq\\'
+	 bindir_def=${W32PREF}bin
+	 libdir_def=${W32PREF}lib
+	 configdir_def=${W32PREF}config
+	 datadir_def=${W32PREF}data
+	 mandir_def=${W32PREF}man
+	 docdir_def=${W32PREF}doc
+	 emacslib_def=${W32PREF}emacs
+         coqdocdir_def=${W32PREF}latex;;
   *)
 	 bindir_def=/usr/local/bin
 	 libdir_def=/usr/local/lib/coq