DOKK / manpages

Man pages matching name hpi_shell in section 1:

hpi_shell.1.en debian 10 / openhpi-clients
hpi_shell.1.en debian 11 / openhpi-clients
hpi_shell.1.en debian 12 / openhpi-clients