<div dir="ltr"><div>Hello,</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Jan 1, 2020 at 10:55 AM by <<a href="mailto:by@meetlost.com">by@meetlost.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">I am wondering any existing method to constrain the “install-docs” command to only install/touch the manual pages?<br></blockquote><div><br></div><div>As far as I am aware there is no way to do this. You can, however, speed-up the doc build process by making sure that there is no fop tool installed. That way it will not spend time to build the pdf docs, but it will still build the html docs.</div><div><br></div><div>Lukas</div></div></div>