diff options
| author | Albert Krewinkel <albert@zeitkraut.de> | 2019-08-15 19:28:17 +0200 |
|---|---|---|
| committer | Albert Krewinkel <albert@zeitkraut.de> | 2019-08-15 19:28:17 +0200 |
| commit | 903d2f98c6a7209e3bd2b7f9adabb7688b87c3c3 (patch) | |
| tree | 06fc4cd43943a5ac9c9992d805b6ba7aca5546b9 | |
| parent | 79a3449eeb15d2cd3127a1a5910b3f4b37fd2122 (diff) | |
| download | pandoc-903d2f98c6a7209e3bd2b7f9adabb7688b87c3c3.tar.gz | |
pandoc.cabal: add cabal.project to extra-source-files.
| -rw-r--r-- | pandoc.cabal | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pandoc.cabal b/pandoc.cabal index 91927d476..6001ea04c 100644 --- a/pandoc.cabal +++ b/pandoc.cabal @@ -182,7 +182,8 @@ extra-source-files: INSTALL.md, AUTHORS.md, README.md, CONTRIBUTING.md, BUGS, changelog, man/pandoc.1 - -- stack build plan + -- cabal and stack build plans + cabal.project stack.yaml -- files needed to build man page man/manfilter.lua |