Lars, what does this mean? Michael *********************************************************************
configure: creating ./config.status config.status: creating Makefile chmod: failed to get attributes of `reLyX': No such file or directory chmod: failed to get attributes of `noweb2lyx': No such file or directory config.status: creating reLyX chmod: failed to get attributes of `noweb2lyx': No such file or directory config.status: creating noweb2lyx
