summaryrefslogtreecommitdiff
path: root/repo/www/generate-index.py
AgeCommit message (Collapse)Author
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
Replace .md/.org extension with .html. The output of "make" is now ugly as sin.
2020-04-25Remove redundant title prefix on top-level indexKévin Le Gouguec
2020-04-16Touch up web page titlesKévin Le Gouguec
Still a few wrinkles to iron out, e.g. the toplevel page's <title>.
2020-04-12Refactor index generation slightlyKévin Le Gouguec
2020-04-12Add intermediate step to cache site treeKévin Le Gouguec
Seems kind of wasteful to recompute it every time. Also, now subsequent scripts don't have to care about file extensions anymore.
2020-04-12Finish fixing some files being inaccessibleKévin Le Gouguec
Make generate-deps.py compute the list of indices instead of relying on the list of source folders that contain text files, otherwise we will miss intermediate folders that do not contain any file. Remove TODO entry to maintain Makefile dependencies to scripts: that sounds too tedious. Let's assume that at some point the Makefile and these scripts will be bundled together into a proper package.
2020-03-29Unify recipe for regular and automated indicesKévin Le Gouguec
Also don't run pandoc in a pipeline within a Makefile recipe: pipefail is not set, so generate-index.py failures will not be bubbled up.
2020-03-25Complete READMEs with a page indexKévin Le Gouguec
2020-03-25Split index generation and HTML conversionKévin Le Gouguec
So that I can re-use generate-index.py for READMEs.