diff options
Diffstat (limited to 'Makefile.distrib')
| -rw-r--r-- | Makefile.distrib | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.distrib b/Makefile.distrib index 970b3e744d..4ad28fd3e2 100644 --- a/Makefile.distrib +++ b/Makefile.distrib @@ -174,6 +174,8 @@ install-addons : $(RM) -r $(DISTRIB_ARCHIVE).addons $(INSTALL) -d $(DISTRIB_ARCHIVE).addons $(INSTALL) -d $(DISTRIB_ARCHIVE).addons/doc + $(INSTALL) $(DOCUMENTS_ROOT)/reference/ScalaRationale.pdf \ + $(DISTRIB_ARCHIVE).addons/doc $(INSTALL) $(DOCUMENTS_ROOT)/reference/ProgrammingInScala.pdf \ $(DISTRIB_ARCHIVE).addons/doc |