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