coq2html.cmo: filter.cmo lexer.cmo 
coq2html.cmx: filter.cmx lexer.cmx 
coq2latex.cmo: filter.cmo lexer.cmo tex.cmi 
coq2latex.cmx: filter.cmx lexer.cmx tex.cmx 
filter.cmo: lexer.cmo 
filter.cmx: lexer.cmx 
tex.cmo: tex.cmi 
tex.cmx: tex.cmi 
