summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2008-07-06 01:06:43 +0000
committerKarl Berry <karl@freefriends.org>2008-07-06 01:06:43 +0000
commit0c12722741f36c2ed6554f98108e666a5c315952 (patch)
treebdf1f8b4957c8035169dbffc4df6a004b7ab934b /Build/source/texk/web2c
parent458513763092e8c12e5d2ae5452e01084599643b (diff)
omit most useless missing texmfmain warnings
git-svn-id: svn://tug.org/texlive/trunk@9282 c570f23f-e606-0410-a88d-b1316a301751
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