move readme and changelog from extra-source-files to extra-doc-files

awkward-squad · Nov 28, 2023 · f551a46 · f551a46
1 parent 90210c9
commit f551a46
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ki/ki.cabal b/ki/ki.cabal
@@ -23,7 +23,7 @@ description:
   .
   Remember to link your program with @-threaded@ to use the threaded runtime!
 
-extra-source-files:
+extra-doc-files:
   CHANGELOG.md
   README.md