diff options
Diffstat (limited to 'lang/elan/pkg-plist')
-rw-r--r-- | lang/elan/pkg-plist | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lang/elan/pkg-plist b/lang/elan/pkg-plist index f0cdd048d53b..ffbc9a6b0251 100644 --- a/lang/elan/pkg-plist +++ b/lang/elan/pkg-plist @@ -11,6 +11,7 @@ include/rts_system.h include/rts_term.h include/rts_texts.h lib/liberts.a +lib/liberts.la lib/liberts.so lib/liberts.so.1 %%DATADIR%%/prelude/elan0.ppe |