From 1f3118cbfbb0fe99007ae641f8d205b1da019c05 Mon Sep 17 00:00:00 2001
From: Tommy Bidne <tbidne@protonmail.com>
Date: Fri, 30 Jun 2023 12:21:11 +1200
Subject: [PATCH] Add graphs dir to dist (#38)

---
 rest-rewrite.cabal | 3 +++
 1 file changed, 3 insertions(+)

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