summaryrefslogtreecommitdiff
path: root/Build/source/texk/tex4htk/t4ht.c
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/tex4htk/t4ht.c')
-rw-r--r--Build/source/texk/tex4htk/t4ht.c62
1 files changed, 56 insertions, 6 deletions
diff --git a/Build/source/texk/tex4htk/t4ht.c b/Build/source/texk/tex4htk/t4ht.c
index 88d675b4fd3..37157b4da81 100644
--- a/Build/source/texk/tex4htk/t4ht.c
+++ b/Build/source/texk/tex4htk/t4ht.c
@@ -1,7 +1,7 @@
-/* t4ht.c (2010-11-17-10:44), generated from tex4ht-t4ht.tex
+/* t4ht.c (2010-12-16-08:47), generated from tex4ht-t4ht.tex
Copyright (C) 2009-2010 TeX Users Group
- Copyright (C) 1998--2009 Eitan M. Gurari
+ Copyright (C) 1998-2009 Eitan M. Gurari
%
% This work may be distributed and/or modified under the
@@ -1434,6 +1434,56 @@ get_env_dir(argv[0])
+#ifdef WIN32
+ /* See comments in tex4ht */
+ if (argc > 2) {
+ int i, nargc;
+ char **nargv, **pnargv, **pargv;
+
+ nargv = (char **) xmalloc (2 * argc * sizeof (char *));
+ pnargv = nargv;
+ pargv = argv;
+ *pnargv++ = xstrdup (*pargv++);
+ *pnargv++ = xstrdup (*pargv++);
+ nargc = 2;
+
+ for (i=2; i < argc; i++) {
+ char *p, *q, *r;
+ p = q = *pargv++;
+ while (*p == ' ' || *p == '\t') {
+ p++;
+ q++;
+ }
+ while (*p != ' ' && *p != '\t' && *p) {
+ p++;
+ if (*p == '\0') {
+ *pnargv++ = xstrdup(q);
+ nargc++;
+ } else if (*p == ' ' || *p == '\t') {
+ r = p;
+ while (*p == ' ' || *p == '\t')
+ p++;
+ if (*p == '-' || *p == '\0') {
+ *r = '\0';
+ *pnargv++ = xstrdup(q);
+ nargc++;
+ q = p;
+ }
+ }
+ }
+ }
+
+ for (i=0; i < argc; i++)
+ free (argv[i]);
+ free (argv);
+ nargv[nargc] = NULL;
+ argv = nargv;
+ argc = nargc;
+ }
+#endif
+
+
+
#ifdef SIGSEGV
(void) signal(SIGSEGV,sig_err);
@@ -1455,15 +1505,15 @@ SetConsoleCtrlHandler((PHANDLER_ROUTINE)sigint_handler, TRUE);
(IGNORED) printf("----------------------------\n");
#ifndef KPATHSEA
#ifdef PLATFORM
- (IGNORED) printf("t4ht.c (2010-11-17-10:44 %s)\n",PLATFORM);
+ (IGNORED) printf("t4ht.c (2010-12-16-08:47 %s)\n",PLATFORM);
#else
- (IGNORED) printf("t4ht.c (2010-11-17-10:44)\n");
+ (IGNORED) printf("t4ht.c (2010-12-16-08:47)\n");
#endif
#else
#ifdef PLATFORM
- (IGNORED) printf("t4ht.c (2010-11-17-10:44 %s kpathsea)\n",PLATFORM);
+ (IGNORED) printf("t4ht.c (2010-12-16-08:47 %s kpathsea)\n",PLATFORM);
#else
- (IGNORED) printf("t4ht.c (2010-11-17-10:44 kpathsea)\n");
+ (IGNORED) printf("t4ht.c (2010-12-16-08:47 kpathsea)\n");
#endif
#endif