Documentation generation and the build directory

[Andreas Niederl]

Hi,
I am using a build directory for building L4Env (O=build in 
Makeconf.local) and I am getting errors about missing files from the 
documentation rather often.

An example would be:
! LaTeX Error: File `dataspaces' not found.

I then have to manually copy the file from the documentation directory 
to the subdirectory of the build directory as in
cp doc/l4env-concept/dataspaces.fig build/doc/l4env-concept

Is this normal behaviour or am I doing something wrong, such that the 
files don't get copied to the subdirectory in build?


Regards,
Andi