Commit a7a4207d1087a33521f9d76a0a2271141ebd73c8

Werner Lemberg 2014-11-24T06:44:45

[docmaker] Formatting, copyright, improved documentation. * src/tools/docmaker/*: No code changes besides trivial modifications.