summaryrefslogtreecommitdiff
path: root/repo/www/generate-page.py
AgeCommit message (Collapse)Author
2020-10-01Factor some code outKévin Le Gouguec
To make it easier to add a pre-processing step for Org files.
2020-08-28Move site title after page titleKévin Le Gouguec
Plenty of websites do this; on GNU/Linux most applications do this; I guess the goal is to make the most specific information go first, so that tabs remain identifiable as they become narrower.
2020-08-28Make sure titles are not redundant with breadcrumbsKévin Le Gouguec
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> ⇒ ∅
2020-08-28Add breadcrumbsKévin Le Gouguec
Likewise, use relative links so that things work when just browsing files locally without a server. Next: tweak or remove redundant titles.
2020-08-25Include stylesheetsKévin Le Gouguec
With relative links, so that I can just view HTML files on my disk without spawning a webserver.
2020-08-18Pass filters to generation scripts explicitlyKévin Le Gouguec
2020-08-18Mutualize pandoc invocationsKévin Le Gouguec
Will be useful to avoid duplicating changes to Lua filters.
2020-08-18Pass HTML template to scripts explicitlyKévin Le Gouguec
2020-08-18Move page generation to a scriptKévin Le Gouguec
Will reduce friction to code things cleanly.