Explicit dependencies between ott files
By construction, dependencies between ott files cannot be computed automatically. However, there are dependencies between them, and this dependencies clutter the makefile.
It might be better to explicitly list the dependencies in a comment in the header of each ott files, and have a tool to generate rules used by the makefile. It would also ease the reading of these files.
the format could be something like
% Require base.ott arith.ott
% Require bidule.ott
Being able to spread dependencies on multiple lines would improve the readability.
Edited by Julien