diff options
Diffstat (limited to 'externals')
| -rw-r--r-- | externals/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/externals/Makefile b/externals/Makefile index 9a5d5c77..b1a91256 100644 --- a/externals/Makefile +++ b/externals/Makefile @@ -3172,6 +3172,7 @@ earplug_install: earplug install -p $(externals_src)/earplug~/earplug_data.txt $(objectsdir)/$(EARPLUG_NAME) install -d $(helpdir)/$(EARPLUG_NAME) install -p $(externals_src)/earplug~/*-help.pd \ + $(externals_src)/earplug~/*.txt \ $(helpdir)/$(EARPLUG_NAME) earplug_clean: |