From adb024bdbe49ba77b3f30af016c0c2ee184f456b Mon Sep 17 00:00:00 2001
From: Dario Nieuwenhuis <dirbaio@dirbaio.net>
Date: Fri, 26 Jan 2024 14:23:51 +0100
Subject: usb-dfu: add docs metadata.

---
 .github/ci/doc.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.github/ci')

diff --git a/.github/ci/doc.sh b/.github/ci/doc.sh
index d0aff1e43..7112d8aaa 100755
--- a/.github/ci/doc.sh
+++ b/.github/ci/doc.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 ## on push branch=main
 
-set -euo pipefail
+set -euxo pipefail
 
 export RUSTUP_HOME=/ci/cache/rustup
 export CARGO_HOME=/ci/cache/cargo
-- 
cgit