diff --git a/rest-rewrite.cabal b/rest-rewrite.cabal index 5a0ffc9..c975686 100644 --- a/rest-rewrite.cabal +++ b/rest-rewrite.cabal @@ -10,6 +10,9 @@ description: REST is a Rewriting library with online termination checking synopsis: Rewriting library with online termination checking license-file: LICENSE +extra-source-files: + graphs/.DONOTDELETE + source-repository head type: git location: https://github.com/zgrannan/rest