diff options
Diffstat (limited to 'externals')
| -rw-r--r-- | externals/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/externals/Makefile b/externals/Makefile index 91a6ba9c..ecd111a6 100644 --- a/externals/Makefile +++ b/externals/Makefile @@ -1564,7 +1564,7 @@ mapping_install: mapping install -d $(readmesdir) install -p $(externals_src)/mapping/README.txt \ $(readmesdir)/$(MAPPING_NAME).txt - install -d $(examplesdir)/$(MAPPING_NAME) +# install -d $(examplesdir)/$(MAPPING_NAME) # install -p $(externals_src)/mapping/examples/*.pd \ # $(examplesdir)/$(MAPPING_NAME) |