diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile index 3cad14b1..d03e19dd 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -161,6 +161,7 @@ pd_fileformat_clean: pddp_install: $(helpdir) install -p $(doc_src)/pddp/*.pd $(DESTDIR)$(helpdir) # this file is used in key-help.pd + install -p $(doc_src)/pddp/glossary.txt $(DESTDIR)$(helpdir) install -p $(doc_src)/pddp/keyboard_fun.txt $(DESTDIR)$(helpdir) pddp_clean: |