As a remark for the future: do not generate the README file and push it to GIT repository for exiting modules. The README is generated on server to get a coherent formatting. You can do it locally to check that changes to the docbook xml files are ok, then revert README before making the commit/pull request. You can use:
``` # generate readme locally make modules-readme modules=src/modules/mymodules # see the diffs of the readme git diff src/modules/mymodule/README # if all ok, revert it - system remove and git check out rm src/modules/mymodule/README git checkout src/modules/mymodule/README # commit the changes and push git commit src/modules/mymodule/ git push origin master:master ```
For this PR I can merge manually, but for the future it is easier to have the PR without the patch to README>