diff options
Diffstat (limited to 'Master/tlpkg/bin/tl-update-txi')
-rwxr-xr-x | Master/tlpkg/bin/tl-update-txi | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/Master/tlpkg/bin/tl-update-txi b/Master/tlpkg/bin/tl-update-txi index 37e1545f1f9..0b17e361ded 100755 --- a/Master/tlpkg/bin/tl-update-txi +++ b/Master/tlpkg/bin/tl-update-txi @@ -71,6 +71,15 @@ do_mf2pt1() { } # +do_tlbuild() { + mypkg=tlbuild + cd $Build/source/doc || exit 1 + MV=cp mvcp-if-change $mypkg.info $infodir/ + $texihtml $mypkg.texi && mvcp-if-change $mypkg.html $docdir/texlive/$mypkg/ + $texipdf $mypkg.texi && mv -v $mypkg.pdf $docdir/texlive/$mypkg/ +} + +# do_web2c() { mypkg=web2c cd $xk/$mypkg/doc || exit 1 @@ -83,10 +92,10 @@ do_dvipng do_dvips do_fontname do_kpathsea -do_mf2pt1 +do_tlbuild do_web2c - exit $? # static: tds texdraw. -# done as part of package update: asy eplain epspdf latex2e[-es] latex2man. +# done as part of package update: +# asy eplain epspdf latex2e[-es] latex2man mf2pt1. |