# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1468399528 -7200
# Node ID b47492e8af0cc65d2d5546a22b54bc20bf3c3008
# Parent  d64e9c3dc6e39ad47c97b0ade4c85468d44b96cc
installation (MANIFEST): added misc directory

diff -r d64e9c3dc6e3 -r b47492e8af0c MANIFEST.in
--- a/MANIFEST.in	Tue Jul 12 23:43:37 2016 +0200
+++ b/MANIFEST.in	Wed Jul 13 10:45:28 2016 +0200
@@ -5,6 +5,7 @@
 global-include CHANGELOG COPYING* INSTALL README*
 global-include *.sh
 include src/sat.*
+include misc
 include frontends/src/jp/jp frontends/src/primitivus/primitivus
 include src/bridge/bridge_constructor/mediawiki_template.tpl
 global-exclude *.un~