From a9f48505b58c0affc37c5eaae9b867af2ddda754 Mon Sep 17 00:00:00 2001 From: Auke Booij Date: Wed, 14 Oct 2015 14:08:55 +0100 Subject: [PATCH] Populate extra-source-files --- cubicaltt.cabal | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.34.1