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
  10 mkdir -p "$D/html/docs"
  11 find "$D/pages/" -type f | xargs -L1 a2x -f xhtml -r "$D/" -a "toc!" -a "numbered!" -D "$D/html/"
  12 find "$D/docs/" -type f | xargs -L1 a2x -f xhtml -r "$D/" -a "toc!" -a "numbered!" -D "$D/html/docs/"