diff --git a/graphs/.DONOTDELETE b/graphs/.DONOTDELETE
new file mode 100644
--- /dev/null
+++ b/graphs/.DONOTDELETE
diff --git a/rest-rewrite.cabal b/rest-rewrite.cabal
--- a/rest-rewrite.cabal
+++ b/rest-rewrite.cabal
@@ -1,6 +1,6 @@
 name:               rest-rewrite
 build-type:         Simple
-version:            0.4.1
+version:            0.4.2
 cabal-version:      2.0
 category:           Rewriting
 maintainer:         Zack Grannan <zgrannan@cs.ubc.ca>
@@ -9,6 +9,9 @@
 description:        REST is a Rewriting library with online termination checking. For more details see the paper at https://arxiv.org/abs/2202.05872.
 synopsis:           Rewriting library with online termination checking
 license-file:       LICENSE
+
+extra-source-files:
+  graphs/.DONOTDELETE
 
 source-repository head
   type:     git