Files
Dan Cross 564d45b5a5 config: add $egrep
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.
2025-07-23 19:44:54 +00:00
..
2017-09-14 17:25:17 +02:00
2008-07-03 18:50:23 -04:00
2020-12-30 07:53:28 -05:00
2025-07-23 19:44:54 +00:00
2005-08-10 18:52:00 +00:00
2005-02-15 05:07:41 +00:00
2005-11-26 15:36:47 +00:00
2018-11-16 00:03:24 -05:00
2005-01-14 20:13:15 +00:00
2005-02-16 17:13:51 +00:00
2005-01-14 03:45:44 +00:00
2008-12-06 16:34:33 -08:00
2008-12-01 19:03:49 -05:00
2005-01-14 03:45:44 +00:00
2021-03-23 20:59:23 -04:00

This directory contains scripts and files that help to run the distribution.

mk check.out
	summarizes problems with the man pages.

mk man
	recreates the HTML version of the man pages

mk push
	copies the HTML pages to 9fans.github.io