#!/bin/csh -f
makeinfo --fill-column=72 --no-split --verbose twelf.texi