Merge pull request #16 from txiki31/master-dochub-PR-line

[dochub] Automatic PR