diff options
-rwxr-xr-x | Master/tlpkg/bin/tl-makeself-from-tlnet | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/tl-makeself-from-tlnet b/Master/tlpkg/bin/tl-makeself-from-tlnet index 50bdc4e6b9a..cb416dc59bf 100755 --- a/Master/tlpkg/bin/tl-makeself-from-tlnet +++ b/Master/tlpkg/bin/tl-makeself-from-tlnet @@ -182,6 +182,10 @@ if test -r "$ROOT/tlpkg/texlive.tlpdb" && test -d "$ROOT/tlpkg/tlpobj/"; then for a in "$ROOT"/bin/*; do test -d "$a" || continue # skip any cruft files b=`basename "$a"` # just the architecture name + # skip 'man' directories if they are still present + if test "$b" = "man"; then + continue + fi echo "$0: updating $a ..." # add the tlpobjs for this platform to the list. |