doc: fix a few likely documentation typos related to CMake migration #30734

1. 
   l0rinc commented at 1:14 pm on August 28, 2024: contributor

   Found them during CMake migration - and ran a quick spellcheck for the rest to cover any remaining ones
2. Fix a few likely documentation typos 7ee5c3c5b2
3. 
   DrahtBot commented at 1:14 pm on August 28, 2024: contributor

   The following sections might be updated with supplementary metadata relevant to reviewers and maintainers.

   Code Coverage

   For detailed information about the code coverage, see the test coverage report.

   Reviews

   See the guideline for information on the review process.

   Type	Reviewers
   ACK	maflcko

   If your review is incorrectly listed, please react with 👎 to this comment and the bot will ignore it on the next update.

4. l0rinc renamed this:
   Fix a few likely documentation typos
   cmake: fix a few likely documentation typos
   on Aug 28, 2024
5. 
   fanquake commented at 1:16 pm on August 28, 2024: member

   You already have a PR open to fix typos.
6. 
   maflcko commented at 1:40 pm on August 28, 2024: member

   The correct prefix for typo fixes is doc, not cmake, because some of them are not cmake related.

   lgtm ACK 7ee5c3c5b2fb477a283df8861e28005ef514bd20

7. l0rinc renamed this:
   cmake: fix a few likely documentation typos
   doc: fix a few likely documentation typos
   on Aug 28, 2024
8. DrahtBot added the label Docs on Aug 28, 2024
9. 
   l0rinc commented at 3:19 pm on August 28, 2024: contributor

   You already have a PR open to fix typos.

   I tried separating them by topic (the other one fixes paths mostly, this one fixes random typos and command I found during the CMake migration). Do you want me to merge the two?

10. l0rinc renamed this:
    doc: fix a few likely documentation typos
    doc: fix a few likely documentation typos related to CMake migration
    on Aug 28, 2024
11. 
    fanquake commented at 4:32 pm on August 28, 2024: member

    I tried separating them by topic

    I don’t think that’s necessary. Just going to merge this one now, given the other one is still a WIP.

12. fanquake marked this as ready for review on Aug 28, 2024
13. fanquake merged this on Aug 28, 2024
14. fanquake closed this on Aug 28, 2024

    ---

15. l0rinc deleted the branch on Aug 28, 2024

Contributors
l0rinc DrahtBot fanquake maflcko

Labels
Docs