diff options
| author | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2020-03-29 23:24:35 +0200 |
|---|---|---|
| committer | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2020-03-29 23:24:35 +0200 |
| commit | a9ec31367187bc0159100688e13400ca86b2709a (patch) | |
| tree | acffacad68843b10cfb7ab895af30402d61b0160 /personal | |
| parent | 006c863ee184389324d7346f65e93728d8d587b9 (diff) | |
| download | memory-leaks-a9ec31367187bc0159100688e13400ca86b2709a.tar.xz | |
Unify recipe for regular and automated indices
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.
Diffstat (limited to 'personal')
0 files changed, 0 insertions, 0 deletions