Skip to content

mark more gnome doc deps optional - #414

Open
JeremyZeng77 wants to merge 1 commit into
rxrbln:mainfrom
JeremyZeng77:codex/optional-doc-deps-pass5
Open

mark more gnome doc deps optional#414
JeremyZeng77 wants to merge 1 commit into
rxrbln:mainfrom
JeremyZeng77:codex/optional-doc-deps-pass5

Conversation

@JeremyZeng77

Copy link
Copy Markdown
Contributor

Related to #390

Summary

  • mark the doc/man tooling for gnome-keyring and gnome-online-accounts as optional
  • disable the corresponding documentation paths when the required tooling is not installed
  • keep both package recipes aligned with the current cache behavior instead of treating those documentation tools as unconditional build requirements

Why

This is another narrow pass for #390. gnome-keyring exposes a dedicated manpage Meson option, and gnome-online-accounts exposes separate documentation and man options for its API docs and manpage path.

Validation

  • git diff --check
  • scripts/Check-PkgFormat gnome-keyring
  • scripts/Check-PkgFormat gnome-online-accounts

Notes

  • I kept gnome-online-accounts scoped to docs/man toolchains only and did not broaden this PR into unrelated feature toggles such as introspection.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant