#!/bin/sh target=output set -xe gen () { set -xe rx="$3" if [ "$rx" = "" ] ; then rx="^$1\$" fi ./get-html "$1" "$rx" ./totex "$2" echo "$1" >> $target/problems.txt grep "<" output.tex >> $target/problems.txt mv output.html $target/"$1".html mv output.pdf $target/"$1".pdf } rm -f $target/problems.txt if [ X"$1" != X ] ; then gen "$1" "$(echo $1 | sed 's/_/ /g')" "$1" else gen 'Grokking_Nemerle' 'Grokking Nemerle' '.*' gen 'Tutorials_and_examples' 'Tutorials' '.*' gen 'Macros' 'Macros' '.*' gen 'Quick_Guide' 'Quick Guide' 'Quick_Guide' gen 'Courses' 'Nemerle for OOP Programmers' 'Nemerle_for_OOP_Programmers_(Week_.*|Intro.*)' fi