diff options
Diffstat (limited to 'Master/tlpkg/bin/tl-update-auto')
| -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. # |