Manpages of gnudos-devel