From: Auke Booij Date: Wed, 14 Oct 2015 13:08:55 +0000 (+0100) Subject: Populate extra-source-files X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=a9f48505b58c0affc37c5eaae9b867af2ddda754;p=cubicaltt.git Populate extra-source-files --- diff --git a/cubicaltt.cabal b/cubicaltt.cabal index 6efd558..fee92b7 100644 --- a/cubicaltt.cabal +++ b/cubicaltt.cabal @@ -12,7 +12,7 @@ maintainer: mortberg@chalmers.se -- copyright: category: Language build-type: Custom -extra-source-files: README.md +extra-source-files: Makefile, README.md, Exp.cf, examples/*.ctt, experiments/*.ctt, cubical.el cabal-version: >=1.10 executable cubical