@@ -65,6 +65,7 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
65 effects/Makefile effects/*.idr effects/Effect/*.idr
65 effects/Makefile effects/*.idr effects/Effect/*.idr
66 effects/effects.ipkg
66 effects/effects.ipkg
67 javascript/Makefile
67 javascript/Makefile
68+ javascript/JavaScript/*.idr
68 javascript/*.idr
69 javascript/*.idr
69 javascript/javascript.ipkg
70 javascript/javascript.ipkg