Changed PDF link to index.pdf for gimli generated doc