Add missing idris sources for javascript to extra-source-files to fix cabal sdist
commitefa573805e86fdad764b9cccb3f7edddefef115b
authorBenjamin Saunders <besaunde@sfu.ca>
dateFri 28 Jun 2013, 17:08 (13 years ago)
parent4bebb72
idris.cabal+1
@@ -65,6 +65,7 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
6565 effects/Makefile effects/*.idr effects/Effect/*.idr
6666 effects/effects.ipkg
6767 javascript/Makefile
68+ javascript/JavaScript/*.idr
6869 javascript/*.idr
6970 javascript/javascript.ipkg
7071 config.mk