build.sh 179 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13
#!/bin/sh

dirs="basics introduction merging remotes"
output="website"

mkdir -p $output
for dir in $dirs; do
  cd $dir
  make
  cp *.pdf ../$output
  make distclean
  cd ..
done