# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1563990869 -7200
# Node ID c2e7bb251e3e07d46df9efed0fa38a72f913f075
# Parent  1f74cd0f22c3e456de9685bc1e113355bbf855df
install: added doc to MANIFEST.in

diff -r 1f74cd0f22c3 -r c2e7bb251e3e MANIFEST.in
--- a/MANIFEST.in	Wed Jul 24 07:51:48 2019 +0200
+++ b/MANIFEST.in	Wed Jul 24 19:54:29 2019 +0200
@@ -4,8 +4,10 @@
 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~