Makefile redux

[DaviD W. Sanderson]

The following slightly modified version will remove the temporary file
even if you kill the make with ^C.

----------------------------------------------------------------------
SHELL=/bin/sh

doc:
        ifile=all;                              \
        ofile=all.ps;                           \
        tfile=/tmp/xx$$$$;                      \
        trap "rm -f $$tfile" 0 1 2 3 15;        \
        echo xx > $$tfile;      \
        while   [ -s $$tfile ]; \
        do      echo "lout $$ifile >$$ofile";                   \
                lout $$ifile 2>&1 >$$ofile | tee $$tfile;       \
        done
----------------------------------------------------------------------