Documentation generation and the build directory

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