repo-docs: reduce duplication

Author: pchickey

.github/workflows/main.yml

@@ -33,31 +33,8 @@ jobs:
       shell: bash
       run: rustup update stable --no-self-update && rustup default stable
 
-      # Install witx cli tool
-    - run: cargo install --path cli
-      working-directory: tools/witx
-
-    - name: Check that docs reflect witx (Snapshot 1)
-      run: witx docs --check ../../phases/snapshot/witx/wasi_snapshot_preview1.witx --output ../../phases/snapshot/docs.md
-      working-directory: tools/witx
-    - name: Check that docs reflect witx (Snapshot 0)
-      run: witx docs --check ../../phases/old/snapshot_0/witx/wasi_unstable.witx --output ../../phases/old/snapshot_0/docs.md
-      working-directory: tools/witx
-    - name: Check that docs reflect witx (Ephemeral)
-      run: >
-        witx docs --check
-        ../../phases/ephemeral/witx/wasi_ephemeral_args.witx
-        ../../phases/ephemeral/witx/wasi_ephemeral_clock.witx
-        ../../phases/ephemeral/witx/wasi_ephemeral_environ.witx
-        ../../phases/ephemeral/witx/wasi_ephemeral_fd.witx
-        ../../phases/ephemeral/witx/wasi_ephemeral_path.witx
-        ../../phases/ephemeral/witx/wasi_ephemeral_poll.witx
-        ../../phases/ephemeral/witx/wasi_ephemeral_proc.witx
-        ../../phases/ephemeral/witx/wasi_ephemeral_random.witx
-        ../../phases/ephemeral/witx/wasi_ephemeral_sched.witx
-        ../../phases/ephemeral/witx/wasi_ephemeral_sock.witx
-        --output ../../phases/ephemeral/docs.md
-      working-directory: tools/witx
+    - name: Check that repository docs reflect witx
+      run: ./tools/repo_docs.sh --check
 
   rustfmt:
     name: Rustfmt
@@ -66,5 +43,5 @@ jobs:
     - uses: actions/checkout@v1
     - name: Install Rust
       run: rustup update stable && rustup default stable && rustup component add rustfmt
-    - run: cargo fmt -- --check
+    - run: cargo fmt --all -- --check
       working-directory: tools/witx

tools/repo_docs.sh

@@ -1,7 +1,9 @@
+#!/usr/bin/env bash
+set -ex
 cd $(dirname $(realpath $0))/witx
-cargo run -p witx-cli -- docs ../../phases/snapshot/witx/wasi_snapshot_preview1.witx --output ../../phases/snapshot/docs.md
-cargo run -p witx-cli -- docs ../../phases/old/snapshot_0/witx/wasi_unstable.witx --output ../../phases/old/snapshot_0/docs.md
-cargo run -p witx-cli -- docs \
+cargo run -p witx-cli -- docs $1 ../../phases/snapshot/witx/wasi_snapshot_preview1.witx --output ../../phases/snapshot/docs.md
+cargo run -p witx-cli -- docs $1 ../../phases/old/snapshot_0/witx/wasi_unstable.witx --output ../../phases/old/snapshot_0/docs.md
+cargo run -p witx-cli -- docs $1 \
   ../../phases/ephemeral/witx/wasi_ephemeral_args.witx \
   ../../phases/ephemeral/witx/wasi_ephemeral_clock.witx \
   ../../phases/ephemeral/witx/wasi_ephemeral_environ.witx \