view MANIFEST.in @ 2782:b17e6fa1e607

core (XMLUI): new XHTMLBox widget: XHTMLBox is a textbox specialised in XHTML, i.e. it renders the XHTML when in read_only, and it allows to edit it. The XHTML is cleaned by default, the cleaning is done by Text Syntaxes plugin (actually there is a cleaning method which can be set by any plugin, but Text Syntaxes is the one which does it).
author Goffi <goffi@goffi.org>
date Sat, 19 Jan 2019 11:39:02 +0100
parents 4aca060075b7
children c2e7bb251e3e
line wrap: on
line source

include MANIFEST.in sat/VERSION
global-include *.py
global-include *.ini
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
global-exclude *.un~
prune src/bridge/bridge_constructor/generated