diff options
Diffstat (limited to 'Build/source/texk/tex4htk/tex4ht.c')
-rw-r--r-- | Build/source/texk/tex4htk/tex4ht.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/Build/source/texk/tex4htk/tex4ht.c b/Build/source/texk/tex4htk/tex4ht.c index abed221df09..b90067ffc0b 100644 --- a/Build/source/texk/tex4htk/tex4ht.c +++ b/Build/source/texk/tex4htk/tex4ht.c @@ -1,7 +1,7 @@ #line 231 "./tex4ht-c.tex" -/* tex4ht.c (2018-06-30-15:36), generated from tex4ht-c.tex +/* tex4ht.c (2018-07-03-10:36), generated from tex4ht-c.tex Copyright 2009-2018 TeX Users Group Copyright 1996-2009 Eitan M. Gurari @@ -7357,15 +7357,15 @@ SetConsoleCtrlHandler((PHANDLER_ROUTINE)sigint_handler, TRUE); (IGNORED) printf("----------------------------\n"); #ifndef KPATHSEA #ifdef PLATFORM - (IGNORED) printf("tex4ht.c (2018-06-30-15:36 %s)\n",PLATFORM); + (IGNORED) printf("tex4ht.c (2018-07-03-10:36 %s)\n",PLATFORM); #else - (IGNORED) printf("tex4ht.c (2018-06-30-15:36)\n"); + (IGNORED) printf("tex4ht.c (2018-07-03-10:36)\n"); #endif #else #ifdef PLATFORM - (IGNORED) printf("tex4ht.c (2018-06-30-15:36 %s kpathsea)\n",PLATFORM); + (IGNORED) printf("tex4ht.c (2018-07-03-10:36 %s kpathsea)\n",PLATFORM); #else - (IGNORED) printf("tex4ht.c (2018-06-30-15:36 kpathsea)\n"); + (IGNORED) printf("tex4ht.c (2018-07-03-10:36 kpathsea)\n"); #endif #endif for(i=0; i<argc; i++){ |