Add plugin: mkdocs-auto-refresh-build-pages

[JakubAndrysek]

What kind of change does this PR introduce?

• Add a project
• Update a project
• Remove a project
• Add or update a category
• Change configuration
• Documentation
• Other, please describe:

Description:
Add plugin: mkdocs-auto-refresh-build-pages

MkDocs plugin that automatically refreshes the build pages when the documentation is updated.

Checklist:

• I have read the CONTRIBUTING guidelines.
• I have not modified the README.md file. Projects are only supposed to be added or updated within the projects.yaml file since the README.md file is automatically generated.

[pawamoy]

Thanks! What's the difference with the live reloading server?

[pawamoy]

@JakubAndrysek tagging you just to make sure you've seen my previous comment ☺️

[JakubAndrysek]

Hi, I have added information to the repo, but I have forgotten to provide the information here.

MkDocs plugin for informing users that the loaded page has been changed. The plugin adds a popup window that asks the user if he wants to reload the (compiled) page when the page has been updated.
This tool is useful when you are deploying your MkDocs pages to production and you want to inform the user that the page has been updated.

We are using this plugin on the Robotic Camp when we quickly need to update the page and we want to inform the participants that the programming guide has been updated.

Right now, we are using this tool in guides for our robot assembly (Czech) - https://robutek.robotikabrno.cz/

[JakubAndrysek]

[JakubAndrysek]

More info in my repo: https://github.com/JakubAndrysek/mkdocs-auto-refresh-build-pages

[pawamoy]

Thanks, it's clear now! Basically you have Javascript code that runs and continuously get the same page from the server to check if there's a more recent version. Do I understand correctly? Lets merge anyway 😄

[pawamoy]

CI failure unrelated, merging 🙂