diff options
author | Karl Berry <karl@freefriends.org> | 2008-08-09 00:16:58 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-08-09 00:16:58 +0000 |
commit | 38c0a99313404f9d50bded752a5d0ea0fff078d9 (patch) | |
tree | 1405b5628e1d45f92aaded83c4cbda6a11f1e448 /Master/tlpkg/bin | |
parent | e26963917d3d103d43df1154696f5a89c9c87694 (diff) |
doc fixes
git-svn-id: svn://tug.org/texlive/trunk@10198 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin')
-rwxr-xr-x | Master/tlpkg/bin/tl-update-auto | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/Master/tlpkg/bin/tl-update-auto b/Master/tlpkg/bin/tl-update-auto index 65a1b622246..abc8553df10 100755 --- a/Master/tlpkg/bin/tl-update-auto +++ b/Master/tlpkg/bin/tl-update-auto @@ -141,7 +141,7 @@ for gnuconf in config.guess config.sub; do done -# tlmgr man page autogenerated. Don't worry about a date difference. +# tlmgr man page autogenerated. Arrange to ignore date differences. # # return 0 if files $1 and $2 are the same except for the first lines. # (we need to ignore the timestamps in the generation lines.) @@ -155,7 +155,9 @@ same_except_for_th () mandir=texmf/doc/man manfile=$mandir/man1/tlmgr.1 -pod2man bin/i386-linux/tlmgr >$temp +tlmgr=texmf/scripts/texlive/tlmgr.pl +# +pod2man $tlmgr >$temp if same_except_for_th $manfile $temp; then echo " `basename $manfile` ok." rm -f $manfile.new @@ -165,6 +167,12 @@ else update_list="$update_list $mandir" fi +# Update the version on the web site; since these aren't checked in, we +# can do it unconditionally. +# +pod2html $tlmgr >/home/httpd/html/texlive/doc/tlmgr.html +pod2html install-tl >/home/httpd/html/texlive/doc/install-tl.html + # doc.html. # |