Auto merge of #12048 - weihanglo:mdman, r=epage

chore: move build-man workflow away from shell

Author: bors

.cargo/config.toml

@@ -1,3 +1,4 @@
 [alias]
-unpublished = "run --package xtask-unpublished --"
+build-man = "run --package xtask-build-man --"
 stale-label = "run --package xtask-stale-label --"
+unpublished = "run --package xtask-unpublished --"

Cargo.lock

@@ -3,24 +3,25 @@
 
 set -e
 
-cd src/doc
+cargo_man="src/doc"
+mdman_man="crates/mdman/doc"
 
-changes=$(git status --porcelain -- .)
+changes=$(git status --porcelain -- $cargo_man $mdman_man)
 if [ -n "$changes" ]
 then
     echo "git directory must be clean before running this script."
     exit 1
 fi
 
-./build-man.sh
+cargo build-man
 
-changes=$(git status --porcelain -- .)
+changes=$(git status --porcelain -- $cargo_man $mdman_man)
 if [ -n "$changes" ]
 then
-    echo "Detected changes of man pages in src/doc:"
+    echo "Detected changes of man pages:"
     echo "$changes"
     echo
-    echo "Please run './build-man.sh' in the src/doc directory to rebuild the"
-    echo "man pages, and commit the changes."
+    echo 'Please run `cargo build-man` to rebuild the man pages'
+    echo "and commit the changes."
     exit 1
 fi