| Age | Commit message (Collapse) | Author |
|
So that I can re-use generate-index.py for READMEs.
|
|
This way I can concatenate the output with regular indices.
|
|
So that I can add a special recipe for them, where I'll concatenate
the directory index.
|
|
|
|
It's not clear whether or not Python supports '\0' for null: the
reference[1] says nothing about this specific escape sequence, but
Python 3.7 seems to recognize it…
repr('\0') says "'\\x00'", so let's use that.
[1]: https://docs.python.org/3/reference/lexical_analysis.html#string-and-bytes-literals
|
|
|
|
I prefer thinking of slashes as concatenation operators, always
accompanied by operands on both sides. I don't like them hanging
there at the end of my variables, which is what $(dir …) causes.
|
|
"Uppercase = public API, lowercase = internal plumbing".
|
|
|
|
Since it already computes the list of pages.
I'm not comfortable with the pattern substitution, the implicit "slash
management" is not obvious.
|
|
|
|
|