reverted back patch for #113521, due to #115104 and while fixing #115101 .

* doc/Makefile.am doc/html/*: reverted back patch for #113521,
  due to #115104 and while fixing #115101 . HTML URLs must not
  be version dependant.
Daniel
49 files changed