[Demexp-dev] for demexp .deb: make clean without building dependencies

[David MENTRE]

Hello Fred,

In the current sources, if you do a 'make clean' from clean sources, the
system builds some .ml files (using noweb) before erasing them. This is
due to the following include statement in the Makefile:

-include .depend-l1


You can safely comment it out for the debian package if you want the
'make clean' to work in a systematic way. However, do not forget to do a
'make depend' before building the package. :)

Maybe a cleaner way would be to erase the include directive altogether
and make binary ocaml targets depend on .depend-l1 file. Maybe for a
future release.

Yours,
d.
-- 
 David Mentré <address@hidden>