# gcc manpages are non-free
mingw32: binary-without-manpage
