summaryrefslogtreecommitdiff
path: root/repo/www/generate-deps.py
AgeCommit message (Collapse)Author
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-25Split index generation and HTML conversionKévin Le Gouguec
So that I can re-use generate-index.py for READMEs.