<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On 11 May 2015 at 18:21, D. Hugh Redelmeier <span dir="ltr"><<a href="mailto:hugh@mimosa.com" target="_blank">hugh@mimosa.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
I think that the build process might customize some paths shown in man<br>
pages. If so, that would be something not be handled by the man command.<br>
Likely not a serious problem.<br><br></blockquote><div><br>The build system doesn't currently do this. Which is arguably a bug.<br><br></div></div></div></div>