d26a991805
fixes some bugs.
Remove deanna@ as maintainer (she currently doesn't have enough time
for ports work).
Move MASTER_SITES down and set it to ${HOMEPAGE}.
ok jasper@
15 lines
868 B
Plaintext
15 lines
868 B
Plaintext
$OpenBSD: patch-Makefile_in,v 1.3 2010/05/11 18:48:54 kili Exp $
|
|
--- Makefile.in.orig Fri Apr 30 15:45:35 2010
|
|
+++ Makefile.in Fri May 7 20:50:23 2010
|
|
@@ -235,8 +235,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
|
|
|