diff options
author | Karl Berry <karl@freefriends.org> | 2008-07-26 17:53:43 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-07-26 17:53:43 +0000 |
commit | fe136e3276dbd8a40f1a1ac60a756cfdfe68ee50 (patch) | |
tree | e8eeb37b793878c46a1fee71c7ee0b364c9154b5 /Master/tlpkg | |
parent | 9286011930be25c01795eef80f3327fa551acd48 (diff) |
tlmgr.1 autoupdate
git-svn-id: svn://tug.org/texlive/trunk@9787 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
-rwxr-xr-x | Master/tlpkg/bin/tl-update-auto | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tl-update-auto b/Master/tlpkg/bin/tl-update-auto index 7e99c7c0b23..1293f489053 100755 --- a/Master/tlpkg/bin/tl-update-auto +++ b/Master/tlpkg/bin/tl-update-auto @@ -29,7 +29,6 @@ $mydir/htmltext <readme.html/readme.en.html >$temp if $diff README.EN $temp >$temp.en.diff; then echo " README.EN ok." else - echo "will update README.EN." $chicken $cp $temp README.EN update_list="$update_list README.EN" fi @@ -142,6 +141,19 @@ for gnuconf in config.guess config.sub; do done +# tlmgr man page autogenerated. +# +manfile=texmf/doc/man/man1/tlmgr.1 +pod2man bin/i386-linux/tlmgr >$temp +if $diff $manfile $temp >$temp.tlmgr.diff; then + echo " `basename $manfile` ok." + rm -f $manfile.new +else + $chicken $mv $temp $manfile + update_list="$update_list $manfile" +fi + + # doc.html. # $mydir/tl-update-docindex | tee $temp.doc \ |