-mQueryTParser.cmi: mathQL.cmo
-mQueryUtil.cmi: mathQL.cmo
-mQueryTParser.cmo: mathQL.cmo mQueryTParser.cmi
-mQueryTParser.cmx: mathQL.cmx mQueryTParser.cmi
-mQueryTLexer.cmo: mQueryTParser.cmi
-mQueryTLexer.cmx: mQueryTParser.cmx
-mQueryUtil.cmo: mQueryHTML.cmo mQueryTLexer.cmo mQueryTParser.cmi mathQL.cmo \
- mQueryUtil.cmi
-mQueryUtil.cmx: mQueryHTML.cmx mQueryTLexer.cmx mQueryTParser.cmx mathQL.cmx \
- mQueryUtil.cmi
+listAvs.cmi: avs.cmo
+avsUtil.cmi: mathQL.cmo
+mQueryUtil.cmo: mQueryUtil.cmi
+mQueryUtil.cmx: mQueryUtil.cmi
+listAvs.cmo: avs.cmo listAvs.cmi
+listAvs.cmx: avs.cmx listAvs.cmi
+mathQL.cmo: avs.cmo listAvs.cmi
+mathQL.cmx: avs.cmx listAvs.cmx
+avsUtil.cmo: mQueryUtil.cmi mathQL.cmo avsUtil.cmi
+avsUtil.cmx: mQueryUtil.cmx mathQL.cmx avsUtil.cmi