# gdump and gout are not installed by cmake
# see https://gitlab.inria.fr/scotch/scotch/-/issues/49
# gout is installed by debian patch install_missing_exe.patch
# but gdump does not build from cmake
usr/share/man/man1/gdump.1
