diff options
author | kleines Filmröllchen <filmroellchen@serenityos.org> | 2022-06-16 18:26:05 +0200 |
---|---|---|
committer | Linus Groh <mail@linusgroh.de> | 2022-07-11 11:35:56 +0200 |
commit | fb7cd7b3406ffb75a8d1d7c7e03f3f19a9ad90c6 (patch) | |
tree | 4d6c912a79174b0c68860079c9004ccb4c6115bb /Meta/build-manpages-website.sh | |
parent | 8558a6b83b4d937ba14f9616b6411fbd8f9a87dc (diff) | |
download | serenity-fb7cd7b3406ffb75a8d1d7c7e03f3f19a9ad90c6.zip |
Documentation: Merge UsingFontEditor into existing FontEditor manpage
The generate-manpages script needs to be updated again to handle the new
PNGs in section 1. (I'm intentionally not making this a multi-directory
glob.)
Diffstat (limited to 'Meta/build-manpages-website.sh')
-rwxr-xr-x | Meta/build-manpages-website.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Meta/build-manpages-website.sh b/Meta/build-manpages-website.sh index f58df70892..5800349610 100755 --- a/Meta/build-manpages-website.sh +++ b/Meta/build-manpages-website.sh @@ -106,6 +106,7 @@ pandoc -f gfm -t html5 -s \ # Copy pre-made files 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/ # Copy icons mkdir output/icons |