diff options
| author | William Grzybowski <wg@FreeBSD.org> | 2013-08-22 17:53:18 +0000 |
|---|---|---|
| committer | William Grzybowski <wg@FreeBSD.org> | 2013-08-22 17:53:18 +0000 |
| commit | f3877877271231b9f42a562c8d54400e61eafb3c (patch) | |
| tree | ab43e8ff3e79cdbebef8d9d05fdc4eb79fa63f61 /emulators/spim | |
| parent | 140b0aaa38f539e03582580e1a755c4d8b19dd3b (diff) | |
| download | ports-f3877877271231b9f42a562c8d54400e61eafb3c.tar.gz ports-f3877877271231b9f42a562c8d54400e61eafb3c.zip | |
Notes
Diffstat (limited to 'emulators/spim')
| -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%% |