diff options
| author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2020-09-11 10:10:50 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2020-09-11 10:10:50 +0200 |
| commit | 652bd2cd359acc81dd4c734ef49b9e3fd2168306 (patch) | |
| tree | f08abb93cba6b171d62015a5e5f50a8cbd1aba69 /src/main/resources/templates/benki/wiki/wikiPageRevisionList.html | |
| parent | 653eaa798fff0061816df7fd5992b945528911e9 (diff) | |
KB56 Fix resource copy step.
The Maven Resources Plugin defaulted to not overwriting files that
were already present in the target if they had a newer modification
timestamp. This led to unpredictable behavior during the packaging
phase, where the resources generated by Parcel did not override the
original source files.
This patch sets the overwrite flag when copying the generated
resources, fixing the problem.
Change-Id: I047f5eb7d56e4444233ec12d94be43a12137010b
Diffstat (limited to 'src/main/resources/templates/benki/wiki/wikiPageRevisionList.html')
0 files changed, 0 insertions, 0 deletions