diff options
Diffstat (limited to 'externals/Makefile')
| -rw-r--r-- | externals/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/externals/Makefile b/externals/Makefile index 3f01824e..209db8b3 100644 --- a/externals/Makefile +++ b/externals/Makefile @@ -1785,6 +1785,8 @@ tof_install: tof install -p $(TOF_OBJECTS:.c=.$(EXTENSION)) $(DESTDIR)$(objectsdir)/$(TOF_NAME) install -p $(externals_src)/tof/help/*.pd \ $(DESTDIR)$(objectsdir)/$(TOF_NAME) + install -p $(externals_src)/tof/help/*.gif \ + $(DESTDIR)$(objectsdir)/$(TOF_NAME) install -p $(externals_src)/tof/abs/*.pd \ $(DESTDIR)$(objectsdir)/$(TOF_NAME) |