rAKA/doc/manual/version-definition.tex.in

bugfixes/dof_manager_mu…