From cea460cdef0c51920420dc7bd166f5a6d40f7684 Mon Sep 17 00:00:00 2001
From: Goffi <goffi@goffi.org>
Date: Wed, 13 Jul 2016 10:45:28 +0200
Subject: [PATCH] installation (MANIFEST): added misc directory

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

diff --git a/MANIFEST.in b/MANIFEST.in
index 5aed5e77..9620f6f5 100644
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -5,6 +5,7 @@ global-include *.po *.mo
 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~