K 10
svn:author
V 5
gabor
K 8
svn:date
V 27
2013-02-02T09:24:31.187748Z
K 7
svn:log
V 97
- Deactivate indexes by default, they are turned on by setting GEN_INDEX
- Add index to handbook

END