| Age | Commit message (Collapse) | Author |
|---|
|
With relative links, so that I can just view HTML files on my disk
without spawning a webserver.
|
|
Thereby allowing non-markdown READMEs.
This needs refactoring; I need sleep.
|
|
|
|
Will be useful to avoid duplicating changes to Lua filters.
|
|
|
|
|
|
Replace .md/.org extension with .html.
The output of "make" is now ugly as sin.
|
|
|
|
Still a few wrinkles to iron out, e.g. the toplevel page's <title>.
|
|
|
|
Seems kind of wasteful to recompute it every time. Also, now
subsequent scripts don't have to care about file extensions anymore.
|
|
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.
|
|
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.
|
|
|
|
So that I can re-use generate-index.py for READMEs.
|
