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 <[email protected]> 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. _______________________________________________ Mailing list: https://launchpad.net/~widelands-dev Post to : [email protected] Unsubscribe : https://launchpad.net/~widelands-dev More help : https://help.launchpad.net/ListHelp
