From 903d2f98c6a7209e3bd2b7f9adabb7688b87c3c3 Mon Sep 17 00:00:00 2001
From: Albert Krewinkel <albert@zeitkraut.de>
Date: Thu, 15 Aug 2019 19:28:17 +0200
Subject: [PATCH] pandoc.cabal: add cabal.project to extra-source-files.
---
pandoc.cabal | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
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