| commit | 82a59035cde868e860d4a749506e43949fdbdc79 | [log] [tgz] |
|---|---|---|
| author | William Salmon <will.salmon@codethink.co.uk> | Wed Nov 21 13:50:28 2018 +0000 |
| committer | William Salmon <will.salmon@codethink.co.uk> | Wed Nov 28 10:08:18 2018 +0000 |
| tree | cac75452595a2cea985e96e4d889c6c736d8f4e6 | |
| parent | 2a8a3b19966a25eff30391e9f50dbe9610d20c33 [diff] |
Keep the Bst2html output up to date. This patch allows bst2html to run when the rest of the docs are rebuilt and remove the old stale cached files. This patch also makes it easier to maintain the .run files by having bst2html have a less aggressive caching policy that is now based on mtimes mtimes.