#!/bin/sh echo "generating /tmp/allExamples.html" (printf "

\n";
 for thisExample in Documentation/Examples/*.generated; do 
     printf "
\n$thisExample\n";
     cat $thisExample;
 done;
 printf "

") > /tmp/allExamples.html