index.html: index.dvi
combinat.html: combinat.dvi
IPC.html: IPC.dvi
Dom.html: Dom.dvi
Cat.html: Cat.dvi
output.html: output.dvi
Type.html: Type.dvi
polylib.html: polylib.dvi
prog.html: prog.dvi
muEC__TYP.html: muEC__TYP.dvi
muEC__PART.html: muEC__PART.dvi
muEC__COMP.html: muEC__COMP.dvi
muEC__SG.html: muEC__SG.dvi
muEC__SYMF.html: muEC__SYMF.dvi
muEC__SFA.html: muEC__SFA.dvi
muEC__SP.html: muEC__SP.dvi
examples.html: examples.dvi
operators.html: operators.dvi
adt.html: adt.dvi
index.dvi: $(wildcard ../../lib//DOC/*.tex)
combinat.dvi: $(wildcard ../../lib/COMBINAT/DOC/*.tex)
IPC.dvi: $(wildcard ../../lib/IPC/DOC/*.tex)
Dom.dvi: $(wildcard ../../lib/DOMAINS/DOMAIN/DOC/*.tex)
Cat.dvi: $(wildcard ../../lib/DOMAINS/CATEGORY/DOC/*.tex)
output.dvi: $(wildcard ../../lib/OUTPUT/DOC/*.tex)
Type.dvi: $(wildcard ../../lib/TYPE/DOC/*.tex)
polylib.dvi: $(wildcard ../../lib/POLYLIB/DOC/*.tex)
prog.dvi: $(wildcard ../../lib/PROG/DOC/*.tex)
muEC__TYP.dvi: $(wildcard ../../lib/MUEC/TYP/DOC/*.tex)
muEC__PART.dvi: $(wildcard ../../lib/MUEC/PART/DOC/*.tex)
muEC__COMP.dvi: $(wildcard ../../lib/MUEC/COMP/DOC/*.tex)
muEC__SG.dvi: $(wildcard ../../lib/MUEC/SG/DOC/*.tex)
muEC__SYMF.dvi: $(wildcard ../../lib/MUEC/SYMF/DOC/*.tex)
muEC__SFA.dvi: $(wildcard ../../lib/MUEC/SFA/DOC/*.tex)
muEC__SP.dvi: $(wildcard ../../lib/MUEC/SP/DOC/*.tex)
examples.dvi: $(wildcard ../../lib/EXAMPLES/DOC/*.tex)
operators.dvi: $(wildcard ../../lib/OPERATORS/DOC/*.tex)
adt.dvi: $(wildcard ../../lib/ADT/DOC/*.tex)
index.hack:
	touch $@
combinat.hack:
	touch $@
IPC.hack:
	touch $@
Dom.hack:
	touch $@
Cat.hack:
	touch $@
output.hack:
	touch $@
Type.hack:
	touch $@
polylib.hack:
	touch $@
prog.hack:
	touch $@
muEC__TYP.hack:
	touch $@
muEC__PART.hack:
	touch $@
muEC__COMP.hack:
	touch $@
muEC__SG.hack:
	touch $@
muEC__SYMF.hack:
	touch $@
muEC__SFA.hack:
	touch $@
muEC__SP.hack:
	touch $@
examples.hack:
	touch $@
operators.hack:
	touch $@
adt.hack:
	touch $@
