aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/Makefile1
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: