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

chore: move build-man workflow away from shell
rust-lang · Apr 28, 2023 · 393ce5b · 393ce5b
2 parents 7a90ba1 + 137c82a
commit 393ce5b
Show file tree

Hide file tree

Showing 12 changed files with 138 additions and 518 deletions.
diff --git a/.cargo/config.toml b/.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 --"
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/ci/validate-man.sh b/ci/validate-man.sh
@@ -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