improve doc-html target
1 file changed