diff options
| author | Nuno Teixeira <eduardo@FreeBSD.org> | 2024-03-09 10:18:54 +0000 |
|---|---|---|
| committer | Nuno Teixeira <eduardo@FreeBSD.org> | 2024-03-09 11:04:52 +0000 |
| commit | 667ba28778b1b7b066419c7d03d65ad6758aa2c0 (patch) | |
| tree | 4216c1af1b3ef65729f14f814580b882fd6b829c | |
| parent | f6b57dfb6ecc8574de8c1da35773cf6b3d3ff993 (diff) | |
| download | ports-667ba28778b1b7b066419c7d03d65ad6758aa2c0.tar.gz ports-667ba28778b1b7b066419c7d03d65ad6758aa2c0.zip | |
games/penguin-command: Move man pages to share/man
Approved by: portmgr (blanket)
| -rw-r--r-- | games/penguin-command/Makefile | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/games/penguin-command/Makefile b/games/penguin-command/Makefile index ae397f47d9f3..cb32c7210461 100644 --- a/games/penguin-command/Makefile +++ b/games/penguin-command/Makefile @@ -1,6 +1,6 @@ PORTNAME= penguin-command PORTVERSION= 1.6.11 -PORTREVISION= 12 +PORTREVISION= 13 CATEGORIES= games MASTER_SITES= SF @@ -13,10 +13,11 @@ LIB_DEPENDS= libpng.so:graphics/png USES= jpeg sdl USE_SDL= mixer image sdl GNU_CONFIGURE= yes +GNU_CONFIGURE_MANPREFIX= ${PREFIX}/share PLIST_FILES= bin/${PORTNAME} \ - man/man6/penguin-command.6.gz \ - man/man6/penguin-command.ja.6.gz + share/man/man6/penguin-command.6.gz \ + share/man/man6/penguin-command.ja.6.gz PORTDATA= * DESKTOP_ENTRIES="Penguin Command" \ |