diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-07-20 18:23:53 -0400 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-07-20 19:48:16 -0400 |
| commit | 78002a678106a9a4e0e9d747f54458ba84322f1a (patch) | |
| tree | c25747b7ae2cd0c8ebed0a01ab5a880df61e7064 /src/shared/pager.h | |
| parent | 8b835fccdad78d89f9cc64f9b02059fb75ffbab1 (diff) | |
systemd-verify: check man pages
Diffstat (limited to 'src/shared/pager.h')
| -rw-r--r-- | src/shared/pager.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/shared/pager.h b/src/shared/pager.h index 03dca8bc03..67446170d0 100644 --- a/src/shared/pager.h +++ b/src/shared/pager.h @@ -28,3 +28,5 @@ int pager_open(bool jump_to_end); void pager_close(void); bool pager_have(void) _pure_; + +int show_man_page(const char *page, bool null_stdio); |