File: pman.sh

package info (click to toggle)
php-doc 20250827~git.abe740d%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 71,968 kB
  • sloc: xml: 985,760; php: 25,504; javascript: 671; sh: 177; makefile: 37
file content (3 lines) | stat: -rwxr-xr-x 53 bytes parent folder | download | duplicates (2) 
1
2
3
 
#!/bin/sh
MAN=`which man`
$MAN -M @doc_dir@/pman/ $*