install (manifest): fixed old paths which where still used

This commit is contained in:
Goffi 2019-08-16 14:14:19 +02:00
commit 155d75bf32

View file

@ -5,10 +5,9 @@ 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
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