Closed JakubAndrysek closed 4 months ago
Thanks! What's the difference with the live reloading server?
@JakubAndrysek tagging you just to make sure you've seen my previous comment :relaxed:
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/
More info in my repo: https://github.com/JakubAndrysek/mkdocs-auto-refresh-build-pages
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 :smile:
CI failure unrelated, merging :slightly_smiling_face:
What kind of change does this PR introduce?
Description: Add plugin: mkdocs-auto-refresh-build-pages
MkDocs plugin that automatically refreshes the build pages when the documentation is updated.
Checklist:
README.md
file. Projects are only supposed to be added or updated within theprojects.yaml
file since theREADME.md
file is automatically generated.