Merge pull request #2508 from bojidar-bg/patch-1

Fix a bug with doctool
This commit is contained in:
Juan Linietsky 2015-09-23 11:43:03 -03:00
commit a3ed71806d