Report de la révision #12104 (Maj lien site web de Coq)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12105 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 12 insertions, 0 deletions

diff --git a/configure b/configure
index 7476485fd0..0187e1f21e 100755
--- a/configure
+++ b/configure
@@ -136,6 +136,7 @@ reals=all
 arch_spec=no
 coqide_spec=no
 browser_spec=no
+wwwcoq_spec=no
 with_geoproof=false
 with_doc=all
 with_doc_spec=no
@@ -224,6 +225,9 @@ while : ; do
     -browser|--browser) browser_spec=yes
 		      BROWSER=$2
 		      shift;;
+    -coqwebsite|--coqwebsite) wwwcoq_spec=yes
+                      WWWCOQ=$2
+                      shift;;
     -with-doc|--with-doc) with_doc_spec=yes
 		      case "$2" in
 			  yes|all) with_doc=all;;
@@ -366,6 +370,10 @@ if [ "$browser_spec" = "no" ]; then
     esac
 fi
 
+if [ "$wwwcoq_spec" = "no" ]; then
+    WWWCOQ="http://www.lix.polytechnique.fr/coq/"
+fi
+
 #########################################
 # Objective Caml programs
 
@@ -865,6 +873,7 @@ echo "  Documentation                     : None"
 fi
 echo "  CoqIde                            : $COQIDE"
 echo "  Web browser                       : $BROWSER"
+echo "  Coq web site                      : $WWWCOQ"
 echo ""
 
 echo "  Paths for true installation:"
@@ -1007,6 +1016,9 @@ let state_magic_number = $STATEMAGIC
 let exec_extension = "$EXE"
 let with_geoproof = ref $with_geoproof
 let browser = "$BROWSER"
+let wwwcoq = "$WWWCOQ"
+let wwwrefman = wwwcoq ^ "distrib/" ^ version ^ "/refman/"
+let wwwstdlib = wwwcoq ^ "distrib/" ^ version ^ "/stdlib/"
 
 END_OF_COQ_CONFIG