Re: Updating deps/*.d files

[Stefan Monnier]

> Is it that compilation also generates the deps/*.d files as a side output?

Yes.

> The problem was, make was failing because deps/bidi.d contained two
> old .h files that don't exist any more.  I could not see any way to
> update bidi.d automatically, so I edited it by hand to make things
> proceed.  That doesn't seem clean.

The problem you bumped into has been fixed (the deps generated more
recently will "do the right thing" if one of the dependencies is
missing).
In general, "rm -rf src/deps" is simpler than editing by hand and works
about as well.


        Stefan