diff --git a/.github/workflows/unit_tests.sh b/.github/workflows/unit_tests.sh index d48c4b4bfe..e85c321001 100755 --- a/.github/workflows/unit_tests.sh +++ b/.github/workflows/unit_tests.sh @@ -6,6 +6,7 @@ ADDITIONAL_DEPS=( clang expect fdisk + jekyll libfdisk-dev libfido2-dev libp11-kit-dev diff --git a/meson.build b/meson.build index 8b1871523f..2111d83870 100644 --- a/meson.build +++ b/meson.build @@ -3501,6 +3501,21 @@ meson.add_install_script('sh', '-c', 'touch $DESTDIR@0@'.format(prefixdir)) ############################################################ +# Ensure that changes to the docs/ directory do not break the +# basic Github pages build. But only run it in developer mode, +# as it might be fragile due to changes in the tooling, and it is +# not generally useful for users. +jekyll = find_program('jekyll', required : false) +if get_option('mode') == 'developer' and want_tests != 'false' and jekyll.found() + test('github-pages', + jekyll, + args : ['build', + '--source', join_paths(project_source_root, 'docs'), + '--destination', join_paths(project_build_root, '_site')]) +endif + +############################################################ + check_help = find_program('tools/check-help.sh') foreach exec : public_programs