#!/bin/sh
exec /usr/bin/man -M /usr/share/doc/phpdoc/pman "$@"
