aboutsummaryrefslogtreecommitdiff
path: root/games
diff options
context:
space:
mode:
authorMathieu Arnold <mat@FreeBSD.org>2018-01-09 07:55:05 +0000
committerMathieu Arnold <mat@FreeBSD.org>2018-01-09 07:55:05 +0000
commitafb43abb77d51d7e9c8a1943037456a16e1e9e52 (patch)
treee3e16a770971226aab2357f61a114e26f9ed81f2 /games
parent25fae17790034e708d8bf0e0f812ca8eac38069b (diff)
downloadports-afb43abb77d51d7e9c8a1943037456a16e1e9e52.tar.gz
ports-afb43abb77d51d7e9c8a1943037456a16e1e9e52.zip
Notes
Diffstat (limited to 'games')
-rw-r--r--games/inform/pkg-descr2
1 files changed, 1 insertions, 1 deletions
diff --git a/games/inform/pkg-descr b/games/inform/pkg-descr
index 4bb6426b4ece..04713635dcc8 100644
--- a/games/inform/pkg-descr
+++ b/games/inform/pkg-descr
@@ -4,7 +4,7 @@ the FreeBSD Ports Collection).
This port normally installs HTML documentation in
/usr/share/doc/inform. If you would prefer another format, such
-as TeX, Postscript, or PDF, build the port with NOPORTDOCS=yes
+as TeX, Postscript, or PDF, build the port WITHOUT=DOCS
and obtain the manual from the FTP site. The FTP site also
contains example games and other resources.