Updated documentation (doxdox build).