aboutsummaryrefslogtreecommitdiff
path: root/dist/checkman.awk
Commit message (Collapse)AuthorAgeFilesLines
* config: add $egrepDan Cross2025-07-231-1/+1
| | | | | | | | | | | Introduce a new variable set in $PLAN9/config: $egrep, which is conditionally set to either `egrep` or `grep -E`, based on platform, and use this when we want to invoke `egrep`. This works around the endless warnings from GNU grep stating that `egrep` is deprecated in favor of `grep -E`, when run on e.g. Linux.
* use plan 9 rcrsc2005-07-191-0/+2
|
* ignore sftp(1)rsc2005-05-071-0/+1
|
* move functions to appease mawkrsc2005-03-211-51/+54
|
* add source linksrsc2005-02-151-3/+0
|
* updatersc2005-02-111-3/+35
|
* Many small edits.rsc2005-01-131-63/+90
|
* handle \*9rsc2005-01-111-2/+6
|
* man page checkingrsc2005-01-041-0/+453