rAKA/doc/manual/manual.aux

bugfixes/broken_dumper_…c17ed228b8caba24432dcb2…