extra info for stripping debug symbols

[drmorr0]

I don't know if this is of interest in your repo, but given that a) stripping debug symbols is (one of) the best ways to reduce the size of your binary, and b) often you want to keep debug symbols around for, well, debugging purposes, I thought it would maybe be helpful to include a bit of extra context here.

It took me a while to figure this out, because just naively saving the symbols to a second file doesn't work, as noted here but I finally found a post by @p-kraszewski that showed me the magic incantation to get this to work.

Feel free to reject/close/modify if you think this isn't useful!

[johnthagen]

@drmorr0 Could you rebase this PR after 2b26a38? That should remove the spurious whitespace changes.

[drmorr0]

@johnthagen ok, rebased -- it looks like there's still one "space at end of line" change -- I can take that out of this PR if you prefer.

[johnthagen]

@drmorr0 Thanks, I fixed that one in 66a1fd9 if you could rebase one more time.

[drmorr0]

Done!

[johnthagen]

@drmorr0 Thank you for bringing this up and the contribution.

My first gut reaction is that this information is a bit too specific for min-sized-rust directly, but since you had a challenge finding this information, I wonder if this does point to a gap in Rust's documentation overall.

My suggestion would be to post on https://internals.rust-lang.org/ and ask what people's thoughts are for where this documentation contribution might be live. Depending on the results of that, we may then add a link to that from min-sized-rust if appropriate.