generate.sh

   1 #!/bin/sh
   2
   3 [ -d pages/ ] || {
   4         echo "Please execute as ./generate.sh" >&2
   5         exit 1
   6 }
   7
   8 D="$(pwd)"
   9 O="-b html5 -a linkcss -a stylesdir=/css -a stylesheet=lede.css -a disable-javascript -a icons -a iconsdir=/icon"
  10
  11 copy() {(
  12         cd "$1"
  13         find . -type f | while read path; do
  14                 dest="$2/${path#./}"
  15                 mkdir -p "${dest%/*}"
  16                 cp -a "$path" "$dest"
  17         done
  18 )}
  19
  20 render() {(
  21         find "$1" -type f -name '*.txt' | while read path; do
  22                 dest="$2/${path#$1/}"
  23                 dest="${dest%.txt}.html"
  24                 mkdir -p "${dest%/*}"
  25                 asciidoc $O -o "$dest" "$path"
  26         done
  27 )}
  28
  29 copy "$D/logo" "$D/html/logo"
  30 copy "$D/css" "$D/html/css"
  31 copy "$D/icon" "$D/html/icon"
  32
  33 render "$D/pages" "$D/html"
  34 render "$D/docs" "$D/html/docs"