diff options
Diffstat (limited to 'support/syngen/src/depend')
-rw-r--r-- | support/syngen/src/depend | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/support/syngen/src/depend b/support/syngen/src/depend new file mode 100644 index 0000000000..2b7425fe2a --- /dev/null +++ b/support/syngen/src/depend @@ -0,0 +1,14 @@ +boxes.cmi: parser.cmi +latexcode.cmi: boxes.cmi picture.cmi +boxes.cmo: parser.cmi boxes.cmi +boxes.cmx: parser.cmx boxes.cmi +latexcode.cmo: boxes.cmi picture.cmi latexcode.cmi +latexcode.cmx: boxes.cmx picture.cmx latexcode.cmi +lexer.cmo: lexer.cmi +lexer.cmx: lexer.cmi +main.cmo: boxes.cmi latexcode.cmi parser.cmi picture.cmi +main.cmx: boxes.cmx latexcode.cmx parser.cmx picture.cmx +parser.cmo: lexer.cmi parser.cmi +parser.cmx: lexer.cmx parser.cmi +picture.cmo: picture.cmi +picture.cmx: picture.cmi |