$OpenBSD: patch-Makefile_in,v 1.5 2015/03/15 10:07:59 jasper Exp $
--- Makefile.in.orig	Fri Nov 14 11:17:00 2014
+++ Makefile.in	Thu Mar 12 20:38:48 2015
@@ -510,8 +510,8 @@ EXTRA_DIST = BUGS COPYING TODO INSTALL README PLEA src
 
 TESTS = test/testit
 SUBDIRS = doc src filters
-nobase_pkgdata_DATA = completions/testclient completions/coqtop\
-		       filters/README filters/RlwrapFilter.pm filters/RlwrapFilter.3pm filters/count_in_prompt filters/pipeto\
+nobase_pkgdata_DATA = completions/coqtop\
+		       filters/README filters/RlwrapFilter.pm filters/count_in_prompt filters/pipeto\
                        filters/logger filters/null filters/unbackspace filters/pipeline filters/ftp_filter filters/history_format\
                        filters/simple_macro filters/template filters/scrub_prompt filters/paint_prompt filters/censor_passwords filters/listing
 
