Delete build_profiles.md

[AnotherButler]

Delete because a duplicate now exists in the Handbook; @iriark01, do you have a preference where in the Handbook I put the new version?

[betzw]

@AnotherButler, pls. consider what is going on in #3566!

[AnotherButler]

@betzw Thanks for letting me know. Once #3566 passes everything, etc., I'll make those changes to the duplicated version in the handbook and then delete this page. This is the problem with duplicated pages - things get updated in one but not the other.

[betzw]

@AnotherButler where in the Handbook can I find what is covered by build_profiles.md? Do you have a link?

[AnotherButler]

@betzw https://github.com/ARMmbed/Handbook/blob/master/docs/dev_tools/build_profiles.md

[betzw]

Got it ... I was searching for it in the Handbook on docs.mbed.com but couldn't find anything. Are or will there be links between docs.mbed.com and github.com?

[AnotherButler]

The pages in GitHub should appear on docs.mbed.com. The ones that don't, including this one, are new or recently updated and will appear the next time we build the system, which happens every release.

[iriark01]

Actually I rebuild 5.3 at least once a week, so it's probably coming today or tomorrow

[betzw]

Thanks for this info.

[AnotherButler]

@betzw You can now see this page in this page of the Handbook.

[betzw]

Ok, great!
I will inform you once PR #3566 has been merged, so you can update!

[betzw]

FYI @AnotherButler, PR #3566 has been merged!

[0xc0170]

@AnotherButler Can you rebase to resolve the conflict?

[sg-]

Closing and should be re-opened when conflict is resolved or in one sweeping change.