empty doc index
Merge branch 'versions/0.4.7' of https://github.com/czervenka/gap into versions/0.4.7