mirrors/serenity
1
0
Fork 0
mirror of https://github.com/SerenityOS/serenity.git synced 2025-01-23 18:02:05 -05:00
Code Issues Projects Releases Packages Wiki Activity
30432 commits 1 branch 0 tags 514 MiB
Commit graph

2 commits

Author SHA1 Message Date
Ben Wiederhake
2e613db999 man.serenityos.org: Fix links to man(1), avoid unnecessary shells 
This fixes the current bug at the end of less(1), which links to the
wrong file ".html" instead of "man.html".
 2021-10-22 19:49:28 +03:00
Ben Wiederhake
7e52b6fa24 man.serenityos.org: Simplify local builds 
I simply extracted the script from .github/workflows/manpages.yml,
without significant modification.
 2021-10-22 19:49:28 +03:00