diff options
| author | Ben Wiederhake <BenWiederhake.GitHub@gmx.de> | 2021-10-20 21:52:34 +0200 |
|---|---|---|
| committer | Idan Horowitz <idan.horowitz@gmail.com> | 2021-10-22 19:49:28 +0300 |
| commit | dad47a3dd1a978bcd78907508a0c0a8515bccd84 (patch) | |
| tree | 08e612de485e3122982b74f959299f9c8ef1d8a7 /Userland/Utilities/markdown-check.cpp | |
| parent | 2e613db999a00b50ac8ab533c8820df27bc8a8da (diff) | |
| download | serenity-dad47a3dd1a978bcd78907508a0c0a8515bccd84.zip | |
man.serenityos.org: Use pandoc for listings and landing page
This makes all pages look and feel the same, because they all use the
default CSS generated by pandoc. Also, it inserts the banner everywhere
at the top, not only into the top-level index.html.
Credit to @xSlendiX for suggesting that `-B` works here.
Diffstat (limited to 'Userland/Utilities/markdown-check.cpp')
| -rw-r--r-- | Userland/Utilities/markdown-check.cpp | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/Userland/Utilities/markdown-check.cpp b/Userland/Utilities/markdown-check.cpp index 3746e9e090..633c555ff6 100644 --- a/Userland/Utilities/markdown-check.cpp +++ b/Userland/Utilities/markdown-check.cpp @@ -37,8 +37,16 @@ static bool is_missing_file_acceptable(String const& filename) "/usr/share/man/man2/open.md", "/usr/share/man/man2/ptrace.md", "/usr/share/man/man5/perfcore.md", - // This one is okay: + // These ones are okay: "/home/anon/js-tests/test-common.js", + "/man1/index.html", + "/man2/index.html", + "/man3/index.html", + "/man4/index.html", + "/man5/index.html", + "/man6/index.html", + "/man7/index.html", + "/man8/index.html", }; for (auto const& suffix : acceptable_missing_files) { if (filename.ends_with(suffix)) |