man_MANS = \ gnunet.conf.5 \ gnunet-arm.1 \ gnunet-ats.1 \ gnunet-auto-share.1 \ gnunet-config.1 \ gnunet-core.1 \ gnunet-directory.1 \ gnunet-dns2gns.1 \ gnunet-download.1 \ gnunet-download-manager.1 \ gnunet-ecc.1 \ gnunet-fs.1 \ gnunet-gns.1 \ gnunet-gns-fcfsd.1 \ gnunet-gns-proxy.1 \ gnunet-namestore.1 \ gnunet-nat-server.1 \ gnunet-peerinfo.1 \ gnunet-pseudonym.1 \ gnunet-publish.1 \ gnunet-rsa.1 \ gnunet-search.1 \ gnunet-statistics.1 \ gnunet-transport.1 \ gnunet-unindex.1 \ gnunet-uri.1 \ gnunet-vpn.1 EXTRA_DIST = ${man_MANS}