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

bugfixes/docker-imageb0f2bbaaa0f75a6c1c22752…