diff options
author | Rob Austein <sra@hactrn.net> | 2021-07-11 22:47:07 +0000 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2021-07-11 22:47:07 +0000 |
commit | 09631677067ded50c95958f02bec7d81e7e0bda7 (patch) | |
tree | 0cfb80a1e54cc2a4ea8997d4261552863b5e8eb7 /tools/extract.py | |
parent | d85a1e4e2eaa340dc83938bfda33bf2a9e7f50f6 (diff) |
Synthetic landing page
Need to copy the landing page hack back into tools/GNUmakefile and
tweak the rule so that we don't regenerate it unless something has
changed (otherwise it'll change every run, because of the generated
date stamp).
But right now it's time for dinner.
Diffstat (limited to 'tools/extract.py')
m--------- | tools | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools b/tools -Subproject 9830a562f93005599e09964bcea79c901fb94bb +Subproject 8a435a7c4d84d454e1272856d2921213e708ca5 |