2 files changed, 2 insertions, 92 deletions
diff --git a/Build/source/texk/kpathsea/ChangeLog b/Build/source/texk/kpathsea/ChangeLog
index e4d0715ade5..116cbae073b 100644
--- a/Build/source/texk/kpathsea/ChangeLog
+++ b/Build/source/texk/kpathsea/ChangeLog
@@ -1,5 +1,7 @@
 2008-01-13  Karl Berry  <karl@tug.org>
 
+	* remote.c-no: remove this stub.  Suggestion from Martin.
+
 	* mktexpk: use $MT_MKTEXDIR in the error message if making
 	PKDESTDIR fails, instead of hardwiring mktexdir.
 	From Javier, 7 Jan 2008 11:33:18.
diff --git a/Build/source/texk/kpathsea/remote.c-no b/Build/source/texk/kpathsea/remote.c-no
deleted file mode 100644
index 65a967e5680..00000000000
--- a/Build/source/texk/kpathsea/remote.c-no
+++ /dev/null
@@ -1,92 +0,0 @@
-/*
-  Handling of remote files with kpathsea.
-*/
-
-#include <kpathsea/config.h>
-#include <kpathsea/c-pathch.h>
-#include <kpathsea/hash.h>
-#include <geturl.h>
-
-hash_table_type *remote_db;
-
-static char *log_buffer;
-int index;
-
-void __cdecl DoDownloadProgress(unsigned long partial, unsigned long total)
-{
-  sprintf(log_buffer+index," -> %8ld/%8ld\r", partial, total);
-  fputs(log_buffer, stdout);
-}
-
-void __cdecl DoDownloadLog(char *s, ...)
-{
-#if 0
-  va_list argList;
-  fputc('\n', stderr);
-  va_start (argList, s);
-  vfprintf(stderr, s, argList);
-  va_end (argList);
-#endif
-}
-
-string get_remote_file(const_string filename)
-{
-  string *lookup = NULL;
-  string localname = NULL;
-  boolean ret;
-
-  if ((remote_db = hash_exists_p(hashtable_remote)) == NULL) {
-    remote_db = hash_create (1007, hashtable_remote);
-  }
-
-  lookup = hash_lookup(remote_db, filename);
-  /* Either the file has already been downloaded */
-  if (lookup && *lookup) {
-    return *lookup;
-  }
-  /* Or it is a new one */
-  /* Get some local name */
-  localname =_tempnam(getenv("TMP"), "kpse");
-  if (localname == NULL) return localname;
-  
-  index = strlen(filename);
-  log_buffer = xmalloc(index + 24);
-  strcpy(log_buffer, filename);
-
-  ret = (get_url_to_file(filename, 
-			 localname,
-			 0, 
-			 DoDownloadLog, 
-			 DoDownloadProgress,
-			 NULL, /* AfxGetInstanceHandle() */
-			 NetIOIE5, /*g_uiNetMethod */
-			 NULL, /* _proxy_address */
-			 80 /* g_uiProxyPort */
-			 ) == 0);
-  
-  if (ret) 
-    hash_insert(remote_db, filename, localname);
-  else
-    localname = NULL;
-
-  puts("\n");
-  free(log_buffer);
-  return localname;
-}
-
-void CDECL unlink_remote_file(const_string key, const_string value)
-{
-  int fa;
-  fa = GetFileAttributes(value);
-  if (fa != 0xFFFFFFFF && !(fa & FILE_ATTRIBUTE_DIRECTORY)) {
-    if (DeleteFile(value) == 0) {
-      fprintf(stderr, "%s: can't delete file %s (error %d)\n", kpse_program_name, value, GetLastError());
-    }
-  }
-}
-
-void cleanup_remote_files()
-{
-  hash_table_type *remote = hash_exists_p(hashtable_remote);
-  hash_iter(remote, unlink_remote_file);
-}