2017-12-05 21:26:00 UTC
If I install TeX Live without docs (e.g., set option_doc 0 in a profile
file for automated installation), `tlmgr path add` is fine, but I'll run
into an error like this when I run `tlmgr path remove`:
sh: line 0: cd: $TEXDIR/texmf-dist/doc/man: No such file or directory
I wonder if we could get rid of this error message by checking if the dir
exists before cd.