kit

kit
git clone https://git.ryansepassi.com/git/kit.git
Log | Files | Refs | README

stage_docs.sh (667B)

      1 #!/bin/sh
      2 # Stage the maintained documentation tree beside README.md in a release.
      3 
      4 set -eu
      5 
      6 if [ "$#" -ne 2 ]; then
      7   echo "usage: $0 ROOT DEST" >&2
      8   exit 2
      9 fi
     10 
     11 root=$1
     12 dest=$2
     13 
     14 for file in README.md DESIGN.md DRIVER.md PORT.md EMBEDDING.md \
     15             DISTRIBUTE.md RELEASE.md BUILD_COORDINATOR.md; do
     16   if [ ! -f "$root/doc/$file" ]; then
     17     echo "stage_docs: missing doc/$file" >&2
     18     exit 1
     19   fi
     20 done
     21 
     22 mkdir -p "$dest" "$dest/plan" "$dest/ideas"
     23 
     24 for src in "$root"/doc/*.md; do
     25   case ${src##*/} in
     26     RELEASE_AUDIT_*) continue ;;
     27   esac
     28   cp "$src" "$dest/${src##*/}"
     29 done
     30 
     31 cp "$root"/doc/plan/*.md "$dest/plan/"
     32 cp "$root"/doc/ideas/*.md "$dest/ideas/"