diff options
author | Karl Berry <karl@freefriends.org> | 2019-02-28 18:45:38 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-02-28 18:45:38 +0000 |
commit | 61a286ce26800c5976ff5c8c8795dc7eea404fd2 (patch) | |
tree | 60e779d47ffa65c0907ba1490cee638198ba0146 /Build/source/texk/tex4htk/tex4ht.c | |
parent | 7d4ae7b153260a980654b4cc6d909506a04c0950 (diff) |
expand %%~ in tex4ht.env to $TEXMFDIST rather than $SELFAUTOPARENT, tex4ht r418 (3jul18)
git-svn-id: svn://tug.org/texlive/trunk@50167 c570f23f-e606-0410-a88d-b1316a301751
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++){ |