K 10
svn:author
V 5
gabor
K 8
svn:date
V 27
2013-02-02T14:52:15.243829Z
K 7
svn:log
V 188
- Remove doc.html.mk, which is not used any more
- Factor out command macros for better readability and consistency
  and less duplication
- Make some macros more consistent with the rest

END