diff options
| author | Karl Berry <karl@freefriends.org> | 2008-08-03 16:34:45 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2008-08-03 16:34:45 +0000 |
| commit | 2a3c6515993068a0092c7ae56006052f43671c8e (patch) | |
| tree | c5e91b66387e674b39e2d6c52aab577d30457c90 /Master/tlpkg/bin/tl-update-auto | |
| parent | abc4667e3cb5e90d203ed846de5df3c04aa9049b (diff) | |
update pdf for man pages
git-svn-id: svn://tug.org/texlive/trunk@10042 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/tl-update-auto')
| -rwxr-xr-x | Master/tlpkg/bin/tl-update-auto | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Master/tlpkg/bin/tl-update-auto b/Master/tlpkg/bin/tl-update-auto index a46b0bb1283..65a1b622246 100755 --- a/Master/tlpkg/bin/tl-update-auto +++ b/Master/tlpkg/bin/tl-update-auto @@ -153,14 +153,16 @@ same_except_for_th () cmp -s /tmp/seft1 /tmp/seft2 } -manfile=texmf/doc/man/man1/tlmgr.1 +mandir=texmf/doc/man +manfile=$mandir/man1/tlmgr.1 pod2man bin/i386-linux/tlmgr >$temp if same_except_for_th $manfile $temp; then echo " `basename $manfile` ok." rm -f $manfile.new else $chicken $mv $temp $manfile - update_list="$update_list $manfile" + (cd $mandir && make) # remake pdfs, should do always but it's something + update_list="$update_list $mandir" fi |