[Beaver-devel] Documentation

[Double 12]

The doxygen documentation is compiled during the "make" step, and also 
during the "make install" step. The downside of this is that, since 
"make install" is run as root, the created documentation files are owned 
by root. Then, when you compile again with "make", it can't replace 
those files because it doesn't have the rights to remove them.

So, I think it's better if the documentation is just compiled during 
"make", and installed in somethng like /usr/local/share/doc during "make 
install".

Double 12.