index
:
memory-leaks
trunk
Still reachable: lots of words in many pages.
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
repo
/
www
/
generate-index.py
Age
Commit message (
Expand
)
Author
2020-10-01
Move branches around
Kévin Le Gouguec
2020-10-01
Factor some code out
Kévin Le Gouguec
2020-08-28
Move site title after page title
Kévin Le Gouguec
2020-08-28
Make sure titles are not redundant with breadcrumbs
Kévin Le Gouguec
2020-08-28
Add breadcrumbs
Kévin Le Gouguec
2020-08-25
Include stylesheets
Kévin Le Gouguec
2020-08-20
Use pandoc's --include-after flag
Kévin Le Gouguec
2020-08-18
Pass filters to generation scripts explicitly
Kévin Le Gouguec
2020-08-18
Mutualize pandoc invocations
Kévin Le Gouguec
2020-08-18
Pass HTML template to scripts explicitly
Kévin Le Gouguec
2020-08-08
Add default pandoc template for HTML
Kévin Le Gouguec
2020-04-29
Fix links to internal pages
Kévin Le Gouguec
2020-04-25
Remove redundant title prefix on top-level index
Kévin Le Gouguec
2020-04-16
Touch up web page titles
Kévin Le Gouguec
2020-04-12
Refactor index generation slightly
Kévin Le Gouguec
2020-04-12
Add intermediate step to cache site tree
Kévin Le Gouguec
2020-04-12
Finish fixing some files being inaccessible
Kévin Le Gouguec
2020-03-29
Unify recipe for regular and automated indices
Kévin Le Gouguec
2020-03-25
Complete READMEs with a page index
Kévin Le Gouguec
2020-03-25
Split index generation and HTML conversion
Kévin Le Gouguec