view MANIFEST.in @ 979:1d558dfb32ca

server: pages redirection: when using a redirection dict, a new "page" key can be used to redirect to a named page. "args" can be added to specified named arguments to set (will be put in request.args, in addition to existing ones). The redirection is done dynamically, during the request workflow.
author Goffi <goffi@goffi.org>
date Sun, 12 Nov 2017 12:56:46 +0100
parents 9949f0940609
children 6ddd47be0875
line wrap: on
line source

include MANIFEST.in ez_setup.py
global-include *.py
global-include *.ini
global-include *.po *.mo
global-include CHANGELOG COPYING* INSTALL README*
global-include *.sh
include src/browser/public
include themes
recursive-include src *.js
exclude *.sh
global-exclude *.un~
global-exclude *.pyc
prune output
prune html