diff options
| author | Pietro Cerutti <gahr@FreeBSD.org> | 2008-08-28 18:58:30 +0000 |
|---|---|---|
| committer | Pietro Cerutti <gahr@FreeBSD.org> | 2008-08-28 18:58:30 +0000 |
| commit | 88a8dbb80a1d0b91be0540096acee0c142a03b72 (patch) | |
| tree | 0cbb91dca575ef99eee391e46ba816f3c78653d1 /games/netpanzer | |
| parent | 10c1c1d2246db07c7c4d0524039f23bea98e8d98 (diff) | |
Notes
Diffstat (limited to 'games/netpanzer')
| -rw-r--r-- | games/netpanzer/Makefile | 3 | ||||
| -rw-r--r-- | games/netpanzer/files/noportdocs-patch-Jamfile | 10 |
2 files changed, 1 insertions, 12 deletions
diff --git a/games/netpanzer/Makefile b/games/netpanzer/Makefile index 33a599f27a6f..f225c89e46f5 100644 --- a/games/netpanzer/Makefile +++ b/games/netpanzer/Makefile @@ -36,8 +36,7 @@ post-patch: .if defined(NOPORTDOCS) post-configure: - @(cd ${BUILD_WRKSRC}; \ - ${PATCH} ${PATCH_DIST_ARGS} < ${FILESDIR}/noportdocs-patch-Jamfile) + ${REINPLACE_CMD} -e '/InstallDoc/d' ${WRKSRC}/Jamfile .endif do-build: diff --git a/games/netpanzer/files/noportdocs-patch-Jamfile b/games/netpanzer/files/noportdocs-patch-Jamfile deleted file mode 100644 index b38b7f678fc0..000000000000 --- a/games/netpanzer/files/noportdocs-patch-Jamfile +++ /dev/null @@ -1,10 +0,0 @@ ---- Jamfile.orig Mon Feb 21 18:57:00 2005 -+++ Jamfile Mon Feb 21 18:57:19 2005 -@@ -40,6 +40,6 @@ - } - - InstallIcon netpanzer.png netpanzer.xpm ; -- InstallDoc ChangeLog README TODO RELNOTES docs/tipofday.txt docs/serverhowto.html ; -+# InstallDoc ChangeLog README TODO RELNOTES docs/tipofday.txt docs/serverhowto.html ; - InstallDesktop netpanzer.desktop ; - } |