K 10
svn:author
V 4
bapt
K 8
svn:date
V 27
2016-10-10T20:48:21.494442Z
K 7
svn:log
V 89
Define a generic WORLDTMPDIR (for now only doc doctools)
Fix tmac files during bootstrap

END