Benjamin Kosnik <bkoz@redhat.com> writes: | > True. "make doxygen" (the way it stands now) just writes back into the | > source directory, just like "make info". | | We should never write into the source directory. Yes, there is no reason it should be writable -- it might be a CD. -- Gaby