diff options
| author | Karl Berry <karl@freefriends.org> | 2009-10-10 17:17:59 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2009-10-10 17:17:59 +0000 |
| commit | ba0be4e2e60a8fffe421cb4de8a5ecc9d8001284 (patch) | |
| tree | e6bed29fa24fc8f9d51f6d8348e3efce65b7ee65 /Master/tlpkg/bin/tl-update-txi | |
| parent | 7f23a9fb282de0d88a8d9963e7d708776c51860f (diff) | |
update info/html/pdf for texinfo manuals
git-svn-id: svn://tug.org/texlive/trunk@15743 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/tl-update-txi')
| -rwxr-xr-x | Master/tlpkg/bin/tl-update-txi | 21 |
1 files changed, 16 insertions, 5 deletions
diff --git a/Master/tlpkg/bin/tl-update-txi b/Master/tlpkg/bin/tl-update-txi index ff05d7d5aeb..33d18fe8748 100755 --- a/Master/tlpkg/bin/tl-update-txi +++ b/Master/tlpkg/bin/tl-update-txi @@ -6,6 +6,8 @@ # install info/html/pdf. Don't delete info files since they are in the # dist's. Unfortunately no easy way to do the same for pdf. +: ${CTAN=/home/ftp/tex-archive} + texihtml="makeinfo --html --no-split" texipdf="texi2pdf --quiet --clean" @@ -22,7 +24,7 @@ xu=$Build/source/utils # do_dvipng() { mypkg=dvipng - cd $xk/$mypkg || exit 1 + cd $xk/$mypkg/doc || exit 1 MV=cp mvcp-if-change $mypkg.info $infodir/ $texihtml $mypkg.texi && mvcp-if-change $mypkg.html $docdir/$mypkg/ $texipdf $mypkg.texi && mv -v $mypkg.pdf $docdir/$mypkg/ @@ -47,15 +49,23 @@ do_dvips() { # do_epspdf() { mypkg=epspdf - cd $Master/texmf-dist/doc/support/$mypkg || exit 1 - makeinfo --no-split $mypkg.info - mvcp-if-change $mypkg.info $infodir/ + cd $Master/texmf-dist/doc/support/$mypkg + #makeinfo --no-split $mypkg.info + #mvcp-if-change $mypkg.info $infodir/ + #done as part of package update? +} + +# +do_fontname() { + mypkg=fontname + cd $CTAN/info/fontname + MV=cp mvcp-if-change $mypkg.info $infodir/ } # do_kpathsea() { mypkg=kpathsea - cd $xk/$mypkg || exit 1 + cd $xk/$mypkg/doc || exit 1 MV=cp mvcp-if-change $mypkg.info $infodir/ $texihtml $mypkg.texi && mvcp-if-change $mypkg.html $docdir/$mypkg/ $texipdf $mypkg.texi && mv -v $mypkg.pdf $docdir/$mypkg/ @@ -73,6 +83,7 @@ do_web2c() { do_dvipng do_dvips do_epspdf +do_fontname do_kpathsea do_web2c |