summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c')
-rwxr-xr-xBuild/source/texk/web2c/configure40
-rw-r--r--Build/source/texk/web2c/stamp-aclocal2
-rw-r--r--Build/source/texk/web2c/stamp-auto.in2
-rw-r--r--Build/source/texk/web2c/stamp-configure2
4 files changed, 5 insertions, 41 deletions
diff --git a/Build/source/texk/web2c/configure b/Build/source/texk/web2c/configure
index ab2e1bbd774..e0daf8a0f6f 100755
--- a/Build/source/texk/web2c/configure
+++ b/Build/source/texk/web2c/configure
@@ -6070,24 +6070,7 @@ if test "x$datadir" != 'x${prefix}/share'; then
{ $as_echo "$as_me:$LINENO: result: \"$texmfmain\"" >&5
$as_echo "\"$texmfmain\"" >&6; }
else
- { $as_echo "$as_me:$LINENO: result: not found" >&5
-$as_echo "not found" >&6; }
- { $as_echo "$as_me:$LINENO: WARNING: No texmf tree found at $texmfmain.
- *****************************************************************
- * Error: The main texmf tree was not found. *
- * If you do not have the files, you should be able to them from *
- * the same place you got these sources from, or from one of the *
- * CTAN hosts. *
- *****************************************************************
- Winging it." >&5
-$as_echo "$as_me: WARNING: No texmf tree found at $texmfmain.
- *****************************************************************
- * Error: The main texmf tree was not found. *
- * If you do not have the files, you should be able to them from *
- * the same place you got these sources from, or from one of the *
- * CTAN hosts. *
- *****************************************************************
- Winging it." >&2;}
+ true # be silent dnl AC_MSG_RESULT([not found])
fi
else
# Second case, datadir is default...
@@ -6113,26 +6096,7 @@ else
$as_echo "\"$texmfmain\"" >&6; }
else
eval texmfmain="$datadir/texmf"
- { $as_echo "$as_me:$LINENO: result: not found" >&5
-$as_echo "not found" >&6; }
- { $as_echo "$as_me:$LINENO: WARNING: The main texmf tree was not found at $texmfmain.
- *****************************************************************
- * Error: The main texmf tree was not found. *
- * Use the --datadir option to specify its parent directory. *
- * If you do not have the files, you should be able to them from *
- * the same place you got these sources from, or from one of the *
- * CTAN hosts. *
- *****************************************************************
- Winging it by pretending $texmfmain is correct." >&5
-$as_echo "$as_me: WARNING: The main texmf tree was not found at $texmfmain.
- *****************************************************************
- * Error: The main texmf tree was not found. *
- * Use the --datadir option to specify its parent directory. *
- * If you do not have the files, you should be able to them from *
- * the same place you got these sources from, or from one of the *
- * CTAN hosts. *
- *****************************************************************
- Winging it by pretending $texmfmain is correct." >&2;}
+ # (be silent) dnl AC_MSG_RESULT([not found])
fi
fi
diff --git a/Build/source/texk/web2c/stamp-aclocal b/Build/source/texk/web2c/stamp-aclocal
index d7571c6c0c4..46f85410135 100644
--- a/Build/source/texk/web2c/stamp-aclocal
+++ b/Build/source/texk/web2c/stamp-aclocal
@@ -1 +1 @@
-Thu Jun 26 12:03:46 CEST 2008
+Sun Jul 6 02:40:56 CEST 2008
diff --git a/Build/source/texk/web2c/stamp-auto.in b/Build/source/texk/web2c/stamp-auto.in
index 56c8ea4e1e7..64288b4dd8e 100644
--- a/Build/source/texk/web2c/stamp-auto.in
+++ b/Build/source/texk/web2c/stamp-auto.in
@@ -1 +1 @@
-Thu Jun 26 12:03:54 CEST 2008
+Sun Jul 6 02:40:58 CEST 2008
diff --git a/Build/source/texk/web2c/stamp-configure b/Build/source/texk/web2c/stamp-configure
index 87a681a78f6..64288b4dd8e 100644
--- a/Build/source/texk/web2c/stamp-configure
+++ b/Build/source/texk/web2c/stamp-configure
@@ -1 +1 @@
-Thu Jun 26 12:03:48 CEST 2008
+Sun Jul 6 02:40:58 CEST 2008