diff options
| author | Joey Hess <joey@gnu.kitenet.net> | 2009-07-19 22:46:53 +0200 |
|---|---|---|
| committer | Joey Hess <joey@gnu.kitenet.net> | 2009-07-19 22:46:53 +0200 |
| commit | 33e93cd5e9baef67448dca2607c31b3330951bb6 (patch) | |
| tree | 336e175c06b83c4681073a65fc09cc7b066a58ca | |
| parent | 8be86ce59695341f2e7db4fcb61fc0e8bf8f51c8 (diff) | |
speed up incremental underlaypo runs
| -rwxr-xr-x | Makefile.PL | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.PL b/Makefile.PL index b2d027bc4..4021a0a5d 100755 --- a/Makefile.PL +++ b/Makefile.PL @@ -58,6 +58,7 @@ underlaypo: ikiwiki.out install -d po/underlays/directives/ikiwiki/directive for file in doc/ikiwiki/directive/*; do \ if [ -f "$$file" ]; then \ + cp -a $$file po/underlays/directives/ikiwiki/directive || \ install -m 644 $$file po/underlays/directives/ikiwiki/directive; \ fi \ done |