d7dc113783
In a clean build, Ninja is creating copies of the extracted documentation outputs regardless of whether they already exist or not. I can't explain this behavior from the documentation of the build command, but it's so, even if extract_content.py is patched to use copyfile() instead of copy2() so that outputs (copied .rst files in the build directory) have strictly newer mtimes than inputs (source tree .rst files). This extra copying doesn't happen for incremental builds, for some reason. To account for this behavior, add and use an extract_content.py option that skips content extraction completely and leaves that all up to the add_custom_command() which tracks each individual input->output build command. Reported-by: Carles Cufi <carles.cufi@nordicsemi.no> Signed-off-by: Marti Bolivar <marti@foundries.io> |
||
|---|---|---|
| .. | ||
| extract_content.py | ||
| fix_tex.py | ||
| genrest.py | ||