ci: check OPTIONS.rst freshness [no changelog]

Author: MukundaKatta

Makefile

@@ -169,6 +169,11 @@ docs_summary_check: ## check if there are unlinked documentation files
 	@echo [DOCS-SUMMARY-MARKDOWN-CHECK]
 	python3 tools/check_docs_summary.py
 
+options_check: ## check that trezorctl OPTIONS.rst is up to date
+	@echo [OPTIONS-RST-CHECK]
+	$(MAKE) -C python doc
+	git diff --exit-code -- python/docs/OPTIONS.rst
+
 vendorheader: ## generate vendor header
 	./core/tools/generate_vendorheader.sh --quiet
 
@@ -201,7 +206,7 @@ hsm_keys_check:
 
 gen:  templates mocks icons protobuf vendorheader solana_templates bootloader_hashes lsgen tropic_model_config hsm_keys ## regenerate auto-generated files from sources
 
-gen_check: templates_check mocks_check icons_check protobuf_check vendorheader_check solana_templates_check bootloader_hashes_check lsgen_check tropic_model_config_check hsm_keys_check ## check validity of auto-generated files
+gen_check: templates_check mocks_check icons_check protobuf_check options_check vendorheader_check solana_templates_check bootloader_hashes_check lsgen_check tropic_model_config_check hsm_keys_check ## check validity of auto-generated files
 
 uvlock_check: ## check that uv.lock is up to date
 	@echo [UVLOCK-CHECK]

python/docs/OPTIONS.rst

@@ -197,6 +197,7 @@ Miscellaneous debug features.
     optiga-set-sec-max  Set Optiga's security event counter to maximum.
     prodtest-t1         Perform a prodtest on Model One.
     record              Record screen changes into a specified directory.
+    set-battery-state   Set emulated battery/power state (emulator only).
     set-log-filter      Set logging filter string.
 
 Device management commands - setup, recover seed, wipe, etc.
@@ -312,6 +313,7 @@ Evolu commands.
   Commands:
     get-delegated-identity-key  Request the delegated identity key of this device.
     get-node                    Return the SLIP-21 node for Evolu.
+    index-management
     sign-registration-request   Sign a registration request for this device to be registered at...
 
 FIDO2, U2F and WebAuthN management commands.