diff options
| author | Zhiming Wang <zmwangx@gmail.com> | 2015-07-17 11:48:37 -0700 |
|---|---|---|
| committer | Zhiming Wang <zmwangx@gmail.com> | 2015-07-17 11:48:37 -0700 |
| commit | e37944f4a78ba4d2695eeec75b25b1c20aeef933 (patch) | |
| tree | 446f32cc6e1b8b50c158901d3fdceb9f01d632b6 /source/blog/2015-05-19-bash-the-special-slash-character-in-filename-expansion.md | |
| parent | 2adbde845c778e34b140f514bc2dac09688b97e8 (diff) | |
| download | my_new_personal_website-e37944f4a78ba4d2695eeec75b25b1c20aeef933.tar.xz my_new_personal_website-e37944f4a78ba4d2695eeec75b25b1c20aeef933.zip | |
take generator source modification time into account
Regenerate a page if the generator mtime is later than the page's
mtime (just like for the template).
Previewer still should be relaunched after modification to the
generator, since the generator won't be patched until the next run.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions