Changes between Initial Version and Version 12 of Ticket #29233


Ignore:
Timestamp:
02/22/20 22:09:10 (2 years ago)
Author:
mkoeppe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #29233

    • Property Status changed from new to needs_review
    • Property Commit changed from to 0dc97dbb12fcde2981cc0a4ef4bbd4938b5e74dc
    • Property Branch changed from to u/mkoeppe/bootstrap____make_distclean_broken
    • Property Authors changed from to Matthias Koeppe
  • Ticket #29233 – Description

    initial v12  
    33* subsequent make fails when building documentation
    44
    5 Fundamentally, I think bootstrap is just not the right place to generate documentation. You should just bootstrap the absolute minimum to run the actual build. Bootstrap is not a dump for miscellaneous build steps. The more you do the more likely you are to run into conflicts with other make targets. 
     5This ticket fixes it by deleting the generated files in `bootstrap-clean` instead of `misc-clean`.