diff options
author | jao <jao@gnu.org> | 2020-12-20 19:12:02 +0000 |
---|---|---|
committer | jao <jao@gnu.org> | 2020-12-20 19:12:02 +0000 |
commit | ed3eb179369cdcbf33fd72dfc43d6426b77fe681 (patch) | |
tree | aa5e21ffbfecbc36df905c5500b41fa6fe565c73 | |
parent | f6087e8df6918074ca3918c55a93c5c58b5157a5 (diff) | |
download | xmobar-ed3eb179369cdcbf33fd72dfc43d6426b77fe681.tar.gz xmobar-ed3eb179369cdcbf33fd72dfc43d6426b77fe681.tar.bz2 |
Including new .org doc files in extra-source-files
-rw-r--r-- | xmobar.cabal | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/xmobar.cabal b/xmobar.cabal index 391ac3f..b015c50 100644 --- a/xmobar.cabal +++ b/xmobar.cabal @@ -16,7 +16,8 @@ bug-reports: https://github.com/jaor/xmobar/issues cabal-version: >= 1.10 build-type: Simple -extra-source-files: readme.md, changelog.md, +extra-source-files: readme.org, changelog.md, + doc/quick-start.org, doc/plugins.org examples/padding-icon.sh, examples/xmobar.config, examples/xmobar.hs, |