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

bugfixes/installation_d…f203057a27a52fe728f25a9…