summaryrefslogtreecommitdiff
path: root/repo/www/generate-index.py
AgeCommit message (Expand)Author
2020-04-29Fix links to internal pagesKévin Le Gouguec
2020-04-25Remove redundant title prefix on top-level indexKévin Le Gouguec
2020-04-16Touch up web page titlesKévin Le Gouguec
2020-04-12Refactor index generation slightlyKévin Le Gouguec
2020-04-12Add intermediate step to cache site treeKévin Le Gouguec
2020-04-12Finish fixing some files being inaccessibleKévin Le Gouguec
2020-03-29Unify recipe for regular and automated indicesKévin Le Gouguec
2020-03-25Complete READMEs with a page indexKévin Le Gouguec
2020-03-25Split index generation and HTML conversionKévin Le Gouguec