Renaming README is not picked up

Question

Renaming README is not picked up

olexandr-konovalov opened this issue 8 years ago · 2 comments

olexandr-konovalov commented 8 years ago

I have renamed README to README.md but this has not been picked up automatically. I had to fix this with gap-packages/example@71054c6 and I am not sure that's the right way of fixing this. I've tried to run update.g but to no avail.

Answer 1 · 2017-02-04T20:14:41.000Z

This is really more an issue in https://github.com/fingolfin/GitHubPagesForGAP

Answer 2 · 2017-02-04T20:40:30.000Z

Fixed now, see gap-system/GitHubPagesForGAP@83c29de