From 86f222fb49caeccc6eed573ce7bfff4a664e1fba Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Thu, 28 Sep 2023 13:27:33 +0800 Subject: [PATCH] .cabal: move doc files to extra-doc-files Only README.markdown is needed at runtime, so move CHANGES and extra license files to extra-doc-files --- gitit.cabal | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/gitit.cabal b/gitit.cabal index d5aec279d..877c25a1f 100644 --- a/gitit.cabal +++ b/gitit.cabal @@ -43,6 +43,7 @@ extra-source-files: data/static/js/jquery-1.2.6.js data/static/js/jquery-ui.droppable-1.6rc2.js data/static/js/jquery-ui.draggable-1.6rc2.js data/static/js/jquery-ui.tabs-1.6rc2.js +extra-doc-files: CHANGES, YUI-LICENSE, BLUETRIP-LICENSE, TANGOICONS data-files: data/static/css/screen.css, data/static/css/print.css, data/static/css/ie.css, data/static/css/highlighting.css, data/static/css/reset-fonts-grids.css, @@ -92,7 +93,7 @@ data-files: data/static/css/screen.css, data/static/css/print.css, plugins/ShowUser.hs, plugins/Signature.hs, plugins/Subst.hs, - CHANGES, README.markdown, YUI-LICENSE, BLUETRIP-LICENSE, TANGOICONS + README.markdown Source-repository head type: git