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