summaryrefslogtreecommitdiff
path: root/repo/www/generate-index.py
AgeCommit message (Expand)Author
2020-10-01Move branches aroundKévin Le Gouguec
2020-10-01Factor some code outKévin Le Gouguec
2020-08-28Move site title after page titleKévin Le Gouguec
2020-08-28Make sure titles are not redundant with breadcrumbsKévin Le Gouguec
2020-08-28Add breadcrumbsKévin Le Gouguec
2020-08-25Include stylesheetsKévin Le Gouguec
2020-08-20Use pandoc's --include-after flagKévin Le Gouguec
2020-08-18Pass filters to generation scripts explicitlyKévin Le Gouguec
2020-08-18Mutualize pandoc invocationsKévin Le Gouguec
2020-08-18Pass HTML template to scripts explicitlyKévin Le Gouguec
2020-08-08Add default pandoc template for HTMLKévin Le Gouguec
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