Some links in the documentation seem to be broken

[mtakeshi1]

Bug description

Hi.

First of all, if it's not the right way to report issues like this, I apologize in advance. In the getting_started.md file, the links for the installation and compilation are wrong (or the sections that they refer to):

[Installation on GNU/Linux](installation_linux.md) section.

should be

[Installation on GNU/Linux](installation-linux.md) section.

as the same goes for the other links.

I did clone the documentation and re-generated it with the right links, but since the misspelling originated in the main project, I was not sure how to proceed. In any case, I'm more than happy to create the PR to fix these, I just need some pointers as to where should I create the PR.

To Reproduce

1. Navigate to: Getting Started
2. Click on any of the 4 top links

Expected behavior

You should be redirected to the corresponding section.

Screenshots

Environment

• Any browser

Additional context

[demeringo]

@mtakeshi1 thank you for highlighting this.

Maybe we should automate link check at compile time. I did some tests with a mdbook link-checker plugin for another project.
I ended up deactivating it in CI (I encountered a minor side effect at the time and I never took the time to configure it properly, but I should probably have a second look now...).
https://github.com/Boavizta/cloud-scanner/blob/f4d2617b6c7e37cb5c0b9f8c53888fbe02bd66e4/docs/book.toml#L8

The checker used was:
https://github.com/Michael-F-Bryan/mdbook-linkcheck .

[demeringo]

Also, I notice that #259 is proposing similar solution.

[bpetit]

Should I close this one as #259 is merged ? Or should it be the starting point to automate checks on the doc ?