Skip to content
Commit b3cfdd6f authored by Chris Reed's avatar Chris Reed
Browse files

ci: delete docs configstore before diff



Delete documentation/userguide/configstore/ contents before diffing
with the genconfigstore.py output, to detect deletions in addition to
changes.

Signed-off-by: default avatarChris Reed <chris.reed@arm.com>
parent 2a9ac545
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment