diff options
| author | kleines Filmröllchen <filmroellchen@serenityos.org> | 2023-01-02 16:39:41 +0100 |
|---|---|---|
| committer | Jelle Raaijmakers <jelle@gmta.nl> | 2023-01-05 15:03:52 +0100 |
| commit | 20f44e095d23b5273547534761050928a8af3661 (patch) | |
| tree | 02ae171882c34283ad8ceb152e01cb99593689dd /Meta | |
| parent | a205efd900f297736d33a47358b8f332913be506 (diff) | |
| download | serenity-20f44e095d23b5273547534761050928a8af3661.zip | |
Meta: Use parallel rsync for file coyping for online manpages
The main point is to bring this in line with all the other file copying,
which is always done via rsync.
On my machine this leads to very little speedup, but I'm also on WSL, so
:shrug:
Timings:
Before:
Time (abs ≡): 20.440 s [User: 133.928 s, System: 12.290 s]
After:
Time (abs ≡): 20.346 s [User: 135.534 s, System: 11.207 s]
Diffstat (limited to 'Meta')
| -rwxr-xr-x | Meta/build-manpages-website.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Meta/build-manpages-website.sh b/Meta/build-manpages-website.sh index e17c432190..459abe7d12 100755 --- a/Meta/build-manpages-website.sh +++ b/Meta/build-manpages-website.sh @@ -100,9 +100,9 @@ pandoc -f gfm -t html5 -s \ # Copy pre-made files echo 'Copying images' -cp Meta/Websites/man.serenityos.org/banner.png output/ -cp Base/usr/share/man/man7/LibDSP_classes.svg output/ -cp Base/usr/share/man/man1/*.png output/ +rsync -a Meta/Websites/man.serenityos.org/banner.png output/ & +rsync -a Base/usr/share/man/man7/LibDSP_classes.svg output/ & +rsync -a Base/usr/share/man/man1/*.png output/ & # Copy icons mkdir output/icons |