widelands-dev team mailing list archive

[SirVer <SirVer@xxxxxx>]

I strongly advise packaging the binary into the .deb then - it will be deployed on the server via the PPA which is the least hassle. And maybe a user enjoys playing with it too. 

> On 29.02.2016, at 10:36, GunChleoc <fios@xxxxxxxxxxxxxxxxxxx> wrote:
> 
> My idea is to generate them on the server - I have added a call to the executable in update_help.py. It will also run a python script that checks for basic JSON validity. My idea is that they aren't part of the Widelands installation as such and that they shouldn't be packaged, so I prefer to generate them this way.
> 
> We should test this on the alpha server before deploying it on the live server.
> -- 
> https://code.launchpad.net/~widelands-dev/widelands-website/encyclopedia/+merge/287410
> You are reviewing the proposed merge of lp:~widelands-dev/widelands-website/encyclopedia into lp:widelands-website.


-- 
https://code.launchpad.net/~widelands-dev/widelands-website/encyclopedia/+merge/287410
Your team Widelands Developers is subscribed to branch lp:widelands-website.