1 files changed, 0 insertions, 28 deletions
diff --git a/Build/source/texk/musixflx/musixflx-0.83-PATCHES/patch-01-filenames b/Build/source/texk/musixflx/musixflx-0.83-PATCHES/patch-01-filenames
deleted file mode 100644
index 1b4bccc36d6..00000000000
--- a/Build/source/texk/musixflx/musixflx-0.83-PATCHES/patch-01-filenames
+++ /dev/null
@@ -1,28 +0,0 @@
-diff -ur musixflx-0.83.orig/musixflx.c musixflx-0.83/musixflx.c
---- musixflx-0.83.orig/musixflx.c	2010-09-25 15:56:09.000000000 +0200
-+++ musixflx-0.83/musixflx.c	2010-10-18 11:31:28.147003045 +0200
-@@ -106,6 +106,8 @@
- 
-   char name_of_file [128], n_o_f [128], n_o_logfile[128], MusiXFlxVersion[6];
- 
-+  char *p;
-+
-   printf("\n <<< musixflex %s%s >>>\n", VERSION, MYVERSION);
-   printf("\n ... decoding command line\n");
- 
-@@ -130,7 +132,14 @@
- 
-   strcpy (name_of_file, argv[1]);
- 
--  strcpy(n_o_f, strtok(name_of_file, "."));
-+  p = strrchr(name_of_file, '.');
-+  if (p && !strchr(p + 1, '/')
-+#if defined(__MSDOS__) || defined(WIN32)
-+      && !strchr(p + 1, '\\')
-+#endif
-+      )
-+    *p = '\0';
-+  strcpy(n_o_f, name_of_file);
-   strcat(name_of_file, ".mx1");
- 
- /*****************************************************