diff options
author | Karl Berry <karl@freefriends.org> | 2014-04-28 23:01:21 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2014-04-28 23:01:21 +0000 |
commit | 3e1d94a431898b09ba752d0b54b398aa6278002d (patch) | |
tree | 3cf36c86476a31dd4d3e8ab597e45676391034f8 /Master/tlpkg | |
parent | 0bb29634e3fdca8563bdc863ac09b90e57141d85 (diff) |
remake man pdfs
git-svn-id: svn://tug.org/texlive/trunk@33736 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
-rwxr-xr-x | Master/tlpkg/bin/tl-update-man | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/tl-update-man b/Master/tlpkg/bin/tl-update-man index a0074c1a072..37609306dc9 100755 --- a/Master/tlpkg/bin/tl-update-man +++ b/Master/tlpkg/bin/tl-update-man @@ -58,3 +58,5 @@ for sect in 1 5; do # see what we've done: (cd $rundir && pwd && svn status) done + +echo "And run make in the man directory to remake pdfs..." |