: ${LIB?}
echo LIB=$LIB

rm -f ../filenames.h
cat <<! >../filenames.h
#ifndef _FILENAME_H
#define _FILENAME_H

/* UNIX file names */
#define shellfile	"/bin/sh"
#define polyhelp	"$LIB/help/poly"
#define placehelp	"$LIB/help/place"
#define shapelib	"$LIB/lib/L-"
#define plhlib		"$LIB/lib/plh"
#define pinslib		"$LIB/lib/pins"
#define Lpinslib	"$LIB/lib/lslpins"
#define libfile		"$LIB/lib/"
#define wraplog		"$LIB/wraplog"
#define lastwire	".lastwire"

#endif
!
chmod -w ../filenames.h
