comparison MANIFEST.in @ 3030:e80694d536d7

install (manifest): fixed old paths which where still used
author Goffi <goffi@goffi.org>
date Fri, 16 Aug 2019 14:14:19 +0200
parents c2e7bb251e3e
children 5d926c7b0d99
comparison
equal deleted inserted replaced
3029:457ae6381e2a 3030:e80694d536d7
3 global-include *.ini 3 global-include *.ini
4 global-include *.po *.mo 4 global-include *.po *.mo
5 global-include CHANGELOG COPYING* INSTALL README* 5 global-include CHANGELOG COPYING* INSTALL README*
6 global-include *.sh 6 global-include *.sh
7 global-include Makefile *.rst *.bat 7 global-include Makefile *.rst *.bat
8 include src/sat.* 8 graft misc
9 include misc 9 graft doc
10 include doc 10 include sat_frontends/jp/jp sat_frontends/primitivus/primitivus
11 include frontends/src/jp/jp frontends/src/primitivus/primitivus 11 include sat/bridge/bridge_constructor
12 include src/bridge/bridge_constructor
13 global-exclude *.un~ 12 global-exclude *.un~
14 prune src/bridge/bridge_constructor/generated 13 prune sat/bridge/bridge_constructor/generated