diff options
Diffstat (limited to 'audio/mma/files/patch-cp-install')
| -rw-r--r-- | audio/mma/files/patch-cp-install | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/audio/mma/files/patch-cp-install b/audio/mma/files/patch-cp-install index 83f1e09f66f9..5346d1279d6a 100644 --- a/audio/mma/files/patch-cp-install +++ b/audio/mma/files/patch-cp-install @@ -42,7 +42,7 @@ $FreeBSD$ ######## Copy the html docs -print "Copying HTML documentation to", dest -+if not os.getenv('NOPORTDOCS'): ++if not os.environ.has_key('NOPORTDOCS'): + docsdir = '%%DOCSDIR%%' + print "Copying HTML documentation to", docsdir + shutil.copytree( "docs", docsdir) |