# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1565957659 -7200
# Node ID e80694d536d7cd7ded2f40fdc9e55494ea718703
# Parent  457ae6381e2ab9c33aff951008f985d1f8d29690
install (manifest): fixed old paths which where still used

diff -r 457ae6381e2a -r e80694d536d7 MANIFEST.in
--- a/MANIFEST.in	Wed Aug 14 08:08:25 2019 +0200
+++ b/MANIFEST.in	Fri Aug 16 14:14:19 2019 +0200
@@ -5,10 +5,9 @@
 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
+graft misc
+graft doc
+include sat_frontends/jp/jp sat_frontends/primitivus/primitivus
+include sat/bridge/bridge_constructor
 global-exclude *.un~
-prune src/bridge/bridge_constructor/generated
+prune sat/bridge/bridge_constructor/generated