Commit 5594fa549dd5848a6b7a53e8082b02940b139c8b

Werner Lemberg 2014-11-27T10:50:50

* src/tools/docmaker/tohtml.py: Replace `<center>' with `<div>'.