diff options
| -rw-r--r-- | emulators/spim/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/emulators/spim/Makefile b/emulators/spim/Makefile index 05320a6c4a88..2bbb8e43ae94 100644 --- a/emulators/spim/Makefile +++ b/emulators/spim/Makefile @@ -18,6 +18,7 @@ INSTALL_WRKSRC= ${WRKSRC}/${PORTNAME} ALL_TARGET= ${PORTNAME} MAN1= spim.1 +MANCOMPRESSED= no PORTDOCS= cycle.ps.gz spim.ps.gz SPIM.html PLIST_FILES= bin/spim %%DATADIR%%/exceptions.s PLIST_DIRS= %%DATADIR%% |