From 3d63a1d046c2654ad2a1317af9b660bf399cfaec Mon Sep 17 00:00:00 2001 From: Nik Clayton Date: Wed, 11 Jul 2001 13:16:24 +0000 Subject: [PATCH] IS_INTERACTIVE -> INTERACTIVE when explaining how to build interactive ports. PR: docs/28822 Submitted by: Martin Kammerhofer --- en_US.ISO8859-1/books/handbook/ports/chapter.sgml | 13 ++++++++++--- 1 file changed, 10 insertions(+), 3 deletions(-) diff --git a/en_US.ISO8859-1/books/handbook/ports/chapter.sgml b/en_US.ISO8859-1/books/handbook/ports/chapter.sgml index 5720fb0559..09b5192394 100644 --- a/en_US.ISO8859-1/books/handbook/ports/chapter.sgml +++ b/en_US.ISO8859-1/books/handbook/ports/chapter.sgml @@ -1,7 +1,7 @@ @@ -322,8 +322,15 @@ docbook = of the installed version and the version available in the local ports tree. - + + + + Symbol + Meaning + + + = The version of the @@ -1132,7 +1139,7 @@ arcade game. you come back, do: &prompt.root; cd /usr/ports -&prompt.root; make -DIS_INTERACTIVE install +&prompt.root; make -DINTERACTIVE install to finish the job.