SHELL = /bin/sh

SOURCES =   \
Usermset1.in    \
Userseq1.in     \
Userconversion.in\
Usernull.in     \
Usermember.in   \
Usercompare.in  \
Usergeneric.in  \
Userset-prim.in \
Userset-set.in

#CMDS = ${SOURCES:.in=}
TEXS = ${SOURCES:.in=.tex}

.SUFFIXES	:	.in .tex 

#commands:	${SOURCES:.cc=.o}
document:	${TEXS}

.in.tex:
	- run_link $? > ${?:.in=.tex}

#${CMDS}	:	$$@.cc
#	${CCC} ${CFLAGS} ${INCLUDES} $? -o $@ ${LIBRARY_PATH} ${LIBS}


load: $(SOURCES)

clean:
	- rm -f *.tex