Add missing pom.xml files to extra-source-files to fix cabal sdist.
commit8bb6d3a0dc5cec7858e83be741b50e4b0dbd6ce3
authorLeif Warner <leif@janrain.com>
dateFri 28 Jun 2013, 17:14 (13 years ago)
parent4bebb72
idris.cabal+1
@@ -71,6 +71,7 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
7171 rts/*.c rts/*.h rts/Makefile
7272 js/*.js
7373 java/src/main/java/org/idris/rts/*.java
74+ java/*.xml
7475
7576source-repository head
7677 type: git