On Wed, Aug 01, 2018 at 01:33:03PM -0300, Marcelo Ricardo Leitner wrote: > We applied some changes to the docs but forgot to update Makefile.am to > reflect them, so currently 'make distcheck' fails with some files not > being found. > > This patch syncs it with the current folder content. Applied.