Luca Boccassi
90b0222091
sync-docs: add '(latest stable)' next to the latest version in the menu
...
Add visual indicator of what is the latest version in the
version menu
2025-05-30 11:54:01 +01:00
Luca Boccassi
1cd995185b
sync-docs: fix selection menu when opening 'latest' man
...
'devel' will always sort first, so the highest version is the second
entry, not the first one
2025-05-30 11:54:01 +01:00
Luca Boccassi
34d63ac879
sync-docs: fix syntax warning
...
sync-docs.py:94: SyntaxWarning: invalid escape sequence '\d'
m = re.match("v?(\d+).*", tag)
2025-05-30 11:54:01 +01:00
Luca Boccassi
59e6059513
doc-sync: strip point release from version before uploading
...
We create subdirectories for each major release, but not for point releases
so strip the suffix if it is present
2024-09-10 20:20:01 +02:00
Abderrahim Kitouni
e8868e8354
doc-sync: add support for uploading the documentation for main
...
It will refuse running on any other branch than main or stable branches.
Also update the release instructions to run it on the stable branch.
2023-10-10 17:50:04 +01:00
Abderrahim Kitouni
00fc4a3945
doc-sync: automatically detect whether we're updating the latest version
...
also update the release instructions to push release candidates to -stable
2023-10-09 18:37:41 +01:00
Abderrahim Kitouni
75481bebc1
doc-sync: add man/ to the passed directory
...
This mirrors the behaviour before multiple version support
2023-10-09 18:03:57 +01:00
Abderrahim Kitouni
3c1f396f69
man: support multiple versions of the documentation on the website
...
This changes the doc-sync meson target from a simple rsync command to a
script that:
* puts the documentation in a subdirectory according to the version
* injects a bit of javascript to add a drop-down to switch between versions
* updates an index.json file with the newly uploaded version
* keeps the latest/ directory up to date with the latest version
* supports a --no-latest switch to be used when uploading older versions
2023-10-09 11:16:20 +01:00
