added elp to distribution

[helm.git] / helm / software / matita / Makefile

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index 00c32a7123215b665e4ad44333f1e70452d1ddd4..e8dff77e06ba92d7cbecd3465325ce4f5380fa4a 100644 (file)
--- a/helm/software/matita/Makefile
+++ b/helm/software/matita/Makefile
@@ -232,6 +232,7 @@ endif
 DESTDIR = $(RT_BASE_DIR)
 INSTALL_STUFF =                        \
        icons/                          \
+       help/                           \
        matita.gtkrc                    \
        matita.lang                     \
        matita.ma.templ                 \