#!/bin/sh
#
#   This script file makes a new file for TeX because one wasn't
#   found.  Usage:
#
#   MakeTeXTeX name
#
#   'Name' is the name of the file, such as 'index.tex'
#
#   Made for the debian distribution of TeX by:
#     Nils Rennebarth <nils@hertha.exp-math.uni-essen.de>
#
# This script must echo the name of the generated file (and nothing
# else) to standard output.
#
# Currently it is empty. It's only purpose is to prevent confusing
# warnings that this script cannot be found
NAME=$1

# Where to put the new file
DESTDIR=.

exit 1
