Vadim Zeitlin
263b1844dc
Show only the updated files when uploading the docs
...
Don't use rsync "--verbose" option as it's too verbose, show just the
names of the files being uploaded.
2022-03-28 11:44:48 +02:00
Vadim Zeitlin
dfb4a3bd02
Run docs update workflow for pull requests too
...
Also run it only if any documentation-related files were modified.
2022-03-28 11:37:34 +02:00
Vadim Zeitlin
f26d25fcb6
Suppress ssh messages about adding known host in docs workflow
...
This is useless and contains the host IP and port which we don't want
want to show.
2022-03-28 11:33:25 +02:00
Vadim Zeitlin
4179d13dab
Fail the documentation build if there are any Doxygen warnings
...
Check for Doxygen warnings, that are, for the most part, actually
errors, to ensure that they don't creep back in after they were recently
fixed.
2022-03-28 11:16:53 +02:00
Vadim Zeitlin
fe944dec68
Only deploy the documentation from master
...
Don't do it for pull requests.
This check also seems to render the check for the repository owner
unnecessary, so drop it instead of keeping both.
2022-03-28 11:16:53 +02:00
Vadim Zeitlin
20b8ba1773
Add extra script to the docs created in GitHub Actions workflow
...
This was done by the cron job running in docs.wxwidgets.org before, so
keep doing it here.
2022-03-28 11:16:53 +02:00
Vadim Zeitlin
15ea25448f
Fix accidentally wrapped line in the docs workflow
2022-03-28 11:16:53 +02:00
Vadim Zeitlin
7e45373e16
Add a simple workflow for updating HTML docs online
...
Run doxygen and copy the generated files to docs.wxwidgets.org.
Ignore the new workflow in all the existing CI ones, as changes to it
shouldn't require rerunning them.
See #19126 .
2022-03-28 00:54:46 +02:00
