<div dir="ltr"><div>Hi,</div><div><br></div><div>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`:</div><div><br></div>  sh: line 0: cd: $TEXDIR/texmf-dist/doc/man: No such file or directory<br clear="all"><div><br></div><div>I wonder if we could get rid of this error message by checking if the dir exists before cd.<br clear="all"><div><div class="gmail_signature"><br>Regards,<br>Yihui<br>--<br><a href="https://yihui.name" target="_blank">https://yihui.name</a></div></div>
</div>
</div>