#!/bin/sh

# $Id: maketex,v 1.4 2000/11/08 11:23:09 freek Exp $

rm -f body/body.tex
echo "%This file is automatically generated. Do not touch it." > body/body.tex
cat body/body_pre.tex >> body/body.tex
bin/extracttex `bin/tsortdepend` >> body/body.tex
cat body/body_post.tex >> body/body.tex
