Changes between Initial Version and Version 1 of Ticket #62182, comment 3


Ignore:
Timestamp:
May 17, 2021, 2:31:44 PM (3 years ago)
Author:
mascguy (Christopher Nielsen)
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #62182, comment 3

    initial v1  
    11Michael, I'll submit a PR for this work. There's just one thing I need help with: Is it possible to disable building the documentation via the Jam config/args? (I looked through the various config files, etc, and didn't see a way to do it. Perhaps I just missed it though?)
    22
    3 Worst-case, we could simply delete the docs area when +docs isn't enabled. So no biggie if that's the only option.
     3Worst-case, we can simply delete the docs area when +docs isn't enabled. So no biggie if that's the only option.