| Age | Commit message (Collapse) | Author |
|---|
|
The logic for the various titles on any given page is:
∃README
∃title block
<title> ⇒ title block
<header> <h1> ⇒ title block
TOC <h1> ⇒ "Index for {target}"
∄title block
<title> ⇒ "{target}" or "README"
<header> <h1> ⇒ ∅
TOC <h1> ⇒ "Index for {target}"
∄README
<title> ⇒ "Index for {target}"
<header> <h1> ⇒ "Index"
TOC <h1> ⇒ ∅
|
|
Likewise, use relative links so that things work when just browsing
files locally without a server.
Next: tweak or remove redundant titles.
|
|
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.
|
|
Note that neither .cache/config.lua nor .cache/site-tree.json get
updated when EXTENSIONS changes. This could be hacked as follows:
config = EXTENSIONS="$(EXTENSIONS)"
ifneq "$(shell test -f $(config_token) && cat $(config_token))" \
"$(shell ./generate-config-token.py $(config))"
.PHONY: $(lua_config) $(site_tree) $(config_token)
endif
Plus a recipe for config_token, and some dependencies on it.
|
|
|
|
Will be useful to avoid duplicating changes to Lua filters.
|
|
Seems kind of wasteful to recompute it every time. Also, now
subsequent scripts don't have to care about file extensions anymore.
|
|
If an intermediate folder contains no leaf page, the previous code
does not add it to the parent directory's subfolders.
Still needs support from generate-deps.py.
|
|
|
