diff options
author | Karl Berry <karl@freefriends.org> | 2020-07-21 17:15:56 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-07-21 17:15:56 +0000 |
commit | a5ed6b49fd24fce0a996e8db92f76022c41c5007 (patch) | |
tree | 3b5bc8e3d4b2ea575f4d7063feec5611a69c6768 /Master/tlpkg/bin/tl-update-auto | |
parent | 820de098817b5b046ddd42fe0961658d161d72f1 (diff) |
add tlmgr.html and install-tl.html to runtime, request by rdt
git-svn-id: svn://tug.org/texlive/trunk@55897 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/tl-update-auto')
-rwxr-xr-x | Master/tlpkg/bin/tl-update-auto | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/Master/tlpkg/bin/tl-update-auto b/Master/tlpkg/bin/tl-update-auto index 17801127932..7770ca9b5f4 100755 --- a/Master/tlpkg/bin/tl-update-auto +++ b/Master/tlpkg/bin/tl-update-auto @@ -179,7 +179,7 @@ for gnuconf in ar-lib compile config.guess config.sub depcomp \ done -# tlmgr and install-tl man pages autogenerated. +# tlmgr and install-tl man pages + html autogenerated. # Arrange to ignore date differences. # if $config_scripts_only; then :; else @@ -194,6 +194,7 @@ same_except_for_auto () } mandir=texmf-dist/doc/man +tldocdir=texmf-dist/doc/texlive webdir=/home/httpd/html/texlive/doc man_update=false @@ -214,7 +215,11 @@ for script in texmf-dist/scripts/texlive/tlmgr.pl install-tl; do # can do it unconditionally. # pod2html="$chicken pod2html --cachedir=$TMPDIR" - test -z "$chicken" && $pod2html $script >$webdir/$basescript.html + if test -z "$chicken"; then + $pod2html $script >$webdir/$basescript.html + cp -p $webdir/$basescript.html $tldocdir/ + update_list="$update_list $tldocdir/$basescript.html" + fi fi done |