Currently the localized documentation repository is synced with development one manually. This makes propagating of the changes quite slow, what can cause confusion, especially when fixing typos in the documentation.
This process could be automated:
What if the whole documentation (doc and examples) was moved outside from the phpMyAdmin repository and was included only as a submodule?
That's option as well, but I'd say it's unrelated here - the .po files need to updated once we change the docs anyway.
Add script for automated localized_docs repo updates
Signed-off-by: Michal Čihař <email@example.com>
The synchronization is now done daily (I've decided to do this daily rather than automatically on every commit as this could lead to too many commits without any real benefit), the localized_docs repo will get updates in case there are some changes in the docs in master.