Le 03/01/2016 09:46, Georg Baum a écrit :
We have a script for updating the docs, examples and templates (development/tools/updatedocs.py), and one for updating the ui and bind files (development/tools/updatelfuns.sh). Or did you man something else?
Is there a reason why the scripts do not have exec permissions? I initially ran "sh updatelfuns.sh" and this failed, emptying a dozen of files. After the second try I found that it requires bash, which would have been chosen automatically if it had been possible to run ./updatelfuns.sh directly.
