diff options
| author | Karl Berry <karl@freefriends.org> | 2022-05-13 22:10:23 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2022-05-13 22:10:23 +0000 |
| commit | f7a209ea5706b66dc7d7921d074ca787f117b7cd (patch) | |
| tree | 856949a3b487beda3e30ff1096fcc3eab6352ad1 /Master/texmf-dist/tex/generic | |
| parent | 0f85f23c4357dafc839d1134885ada4c98071d30 (diff) | |
cut-fullname option, tex4ht r1133
git-svn-id: svn://tug.org/texlive/trunk@63292 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/generic')
| -rw-r--r-- | Master/texmf-dist/tex/generic/tex4ht/html4.4ht | 18 |
1 files changed, 16 insertions, 2 deletions
diff --git a/Master/texmf-dist/tex/generic/tex4ht/html4.4ht b/Master/texmf-dist/tex/generic/tex4ht/html4.4ht index cf5f8a131c2..20549766d47 100644 --- a/Master/texmf-dist/tex/generic/tex4ht/html4.4ht +++ b/Master/texmf-dist/tex/generic/tex4ht/html4.4ht @@ -1,4 +1,4 @@ -% html4.4ht (2022-04-29-14:33), generated from tex4ht-html4.tex +% html4.4ht (2022-05-13-14:47), generated from tex4ht-html4.tex % Copyright 2009-2022 TeX Users Group % Copyright 1997-2009 Eitan M. Gurari % @@ -17,7 +17,7 @@ % % If you modify this program, changing the % version identification would be appreciated. -\immediate\write-1{version 2022-04-29-14:33} +\immediate\write-1{version 2022-05-13-14:47} \exit:ifnot{8859-6,% CJK,% @@ -407,6 +407,20 @@ xy} \Log:Note{For section filenames that reflect on their titles use the command line option `sec-filename'} + \:CheckOption{cut-fullname} + \if:Option + \let\j:bname\jobname +\def\fx:pt#1xxx!*?: {% + \expandafter\ifx \csname big:#1:\endcsname\relax% + \expandafter\gHAssign\csname big:#1:\endcsname 0 \fi% + \expandafter\gHAdvance\csname big:#1:\endcsname 1% +\edef\big:fn{#1\csname big:#1:\endcsname}} + + \else + \Log:Note{For section filenames that use full + jobname and section type use the command line + option `cut-fullname'} + \fi \fi \fi \def\getClass#1{\expandafter |