diff --git a/doc/man/Makefile.am b/doc/man/Makefile.am index 905f2cfd4e07ded9f32d381003595c8de2207bcc..0903722fd1294ba5ff7a5434a49c4df5cdd1539b 100644 --- a/doc/man/Makefile.am +++ b/doc/man/Makefile.am @@ -24,7 +24,9 @@ EXTRA_DIST = \ sieve-dump.1.in \ sieve-test.1.in \ sieve-filter.1.in \ - pigeonhole.7.in + pigeonhole.7.in \ + sed.sh \ + $(man_includefiles) CLEANFILES = $(nodist_man1_MANS) $(nodist_man7_MANS)