Commit 8585cf56c1110659dd4de223b31c1a8863842654
2014-11-27T10:49:05
* src/tools/docmaker/tohtml.py: Remove redundant `<center>' tags. This starts a series of commits into the direction of generating valid HTML 5 code, especially using much more CSS.