CI: build and deploy docs on deviceinfo schema change

The deviceinfo schema is used to generate the "Deviceinfo Reference"
page, so we should consider changes to it as part of changes to the
documentation.

Signed-off-by: Stefan Hansson <newbyte@postmarketos.org>
Part-of: <https://gitlab.postmarketos.org/postmarketOS/pmaports/-/merge_requests/7983>

.gitlab-ci.yml

@@ -211,6 +211,7 @@ build-docs:
   rules:
     - if: $CI_PIPELINE_SOURCE == "merge_request_event"
       changes:
+        - deviceinfo_schema.toml
         - docs/**
 
 deploy-docs:
@@ -221,6 +222,7 @@ deploy-docs:
   rules:
     - if: $CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH && $CI_PROJECT_NAMESPACE == "postmarketOS"
       changes:
+        - deviceinfo_schema.toml
         - docs/**
     - if: $CI_PIPELINE_SOURCE == "schedule"
       when: never