X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;ds=sidebyside;f=lily%2Fkpath.cc;fp=lily%2Fkpath.cc;h=fed266f797f7b89aa1dfbda4cc60b39b037fbf33;hb=f1b620b50b3fa43949856ab4f901beabc87bcf0a;hp=8140f9cfbcef4ecc9b8a08029e8a50f6c81cfe25;hpb=49a4df23e1763548e317e254d54b92a9e59cf9dc;p=lilypond.git

diff --git a/lily/kpath.cc b/lily/kpath.cc
index 8140f9cfbc..fed266f797 100644
--- a/lily/kpath.cc
+++ b/lily/kpath.cc
@@ -105,40 +105,6 @@ kpathsea_find_format (String name)
 }
 #endif
 
-String
-kpathsea_gulp_file_to_string (String name)
-{
-  String file_name = global_path.find (name);
-
-#if (KPATHSEA && HAVE_KPSE_FIND_FILE)
-  if (file_name.is_empty ())
-    {
-      char *p = kpse_find_file (name.to_str0 (), kpathsea_find_format (name),
-	true);
-      if (p)
-	file_name = p;
-      else
-	warning (_f ("kpathsea can't find file: `%s'", name));
-    }
-#endif
-
-  if (file_name.is_empty ())
-    error (_f ("can't find file: `%s'", name));
-
-  if (be_verbose_global)
-    progress_indication ("[" + file_name);
-
-  int filesize;
-  char *str = gulp_file (file_name, &filesize);
-  String string (str);
-  delete[] str;
-  
-  if (be_verbose_global)
-    progress_indication ("]");
-
-  return string;
-}
-
 
 
 void