#!/bin/csh -f
tex twelf.texi