#!/bin/sh

x=`basename $1 .texi`

texi2dvi --pdf --batch $1 

