From c2c2ad4b066d116e835e28ae66fc795ecbeb14fb Mon Sep 17 00:00:00 2001 From: David Binder Date: Mon, 17 Jun 2024 18:31:21 +0200 Subject: [PATCH] Use extra-doc-files instead of extra-src-files The changelog, readme and other markdown files should be extra-doc-files instead of extra-src-files. --- unicode-transforms.cabal | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/unicode-transforms.cabal b/unicode-transforms.cabal index a0a477a..02363c7 100644 --- a/unicode-transforms.cabal +++ b/unicode-transforms.cabal @@ -27,13 +27,14 @@ tested-with: GHC==8.0.2 , GHC==9.8.1 , GHC==9.10.1 build-type: Simple -extra-source-files: +extra-doc-files: Changelog.md MAINTAINING.md NOTES.md README.md - download-ucd-files.sh benchmark/README.md +extra-source-files: + download-ucd-files.sh benchmark/NormalizeFile.hs benchmark/data/AllChars.txt benchmark/data/Deutsch.txt