summaryrefslogtreecommitdiff
path: root/Master/tlpkg
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2008-08-03 16:34:45 +0000
committerKarl Berry <karl@freefriends.org>2008-08-03 16:34:45 +0000
commit2a3c6515993068a0092c7ae56006052f43671c8e (patch)
treec5e91b66387e674b39e2d6c52aab577d30457c90 /Master/tlpkg
parentabc4667e3cb5e90d203ed846de5df3c04aa9049b (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')
-rwxr-xr-xMaster/tlpkg/bin/tl-update-auto6
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