<div class="gmail_quote">On Sat, Dec 24, 2011 at 2:09 AM, arrowdodger <span dir="ltr"><<a href="mailto:6yearold@gmail.com">6yearold@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
All targets created by add_custom_target(tgt ALL ...) are run during normal build</blockquote></div><br><div>It would be good to do essentially nothing with the docs until 'install'. I don't want normal developer builds to spend time generating man pages....</div>