| Age | Commit message (Collapse) | Author |
|---|
|
It's something I'd like Org to do out-of-the-box someday[1]; until
then, this kludge will do.
[1] https://orgmode.org/list/87mu3ze52c.fsf@gmail.com/t/#u
|
|
|
|
|
|
|
|
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.
|
|
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> ⇒ ∅
|
|
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>.
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
