[sphinx-webtools/f19] A few improvements on the sphinx-webtools package.

[averi]

Summary of changes:

  85f351f... A few improvements on the sphinx-webtools package. (*)

(*) This commit already existed in another branch; no separate mail sent