Merge pull request #118 from msakai/extra-doc-files

Use Extra-Doc-Files section in toysolver.cabal
msakai · Nov 10, 2024 · 65200fe · 65200fe
2 parents 736e734 + 5998677
commit 65200fe
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/toysolver.cabal b/toysolver.cabal
@@ -19,12 +19,13 @@ Tested-With:
    GHC ==9.4.8
    GHC ==9.6.6
    GHC ==9.8.2
-Extra-Source-Files:
+Extra-Doc-Files:
    README.md
    INSTALL.md
    CHANGELOG.markdown
    COPYING
    COPYING-GPL
+Extra-Source-Files:
    app/toysat-ipasir/ipasir.h
    app/toysat-ipasir/ipasir.map
    src/ToySolver/Data/Polyhedron.hs