From 89f3756834b0cbd891763c14774fa1230bcf460c Mon Sep 17 00:00:00 2001
From: Goffi <goffi@goffi.org>
Date: Wed, 24 Jul 2019 19:54:29 +0200
Subject: [PATCH] install: added doc to MANIFEST.in

---
 MANIFEST.in | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/MANIFEST.in b/MANIFEST.in
index 14e53820..cfbcba60 100644
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -4,8 +4,10 @@ global-include *.ini
 global-include *.po *.mo
 global-include CHANGELOG COPYING* INSTALL README*
 global-include *.sh
+global-include Makefile *.rst *.bat
 include src/sat.*
 include misc
+include doc
 include frontends/src/jp/jp frontends/src/primitivus/primitivus
 include src/bridge/bridge_constructor
 global-exclude *.un~