diff options
| author | rsc <devnull@localhost> | 2005-02-15 05:07:26 +0000 |
|---|---|---|
| committer | rsc <devnull@localhost> | 2005-02-15 05:07:26 +0000 |
| commit | 7383736cf8254264733aa055a4d854e007f5f83c (patch) | |
| tree | 028756f3bc59b1ea10c00333278eaa4f0dac462e /dist/checkman.awk | |
| parent | 0c891f28dbdc5a61b191d778391664417aae445c (diff) | |
| download | plan9port-7383736cf8254264733aa055a4d854e007f5f83c.tar.gz plan9port-7383736cf8254264733aa055a4d854e007f5f83c.zip | |
add source links
Diffstat (limited to 'dist/checkman.awk')
| -rw-r--r-- | dist/checkman.awk | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/dist/checkman.awk b/dist/checkman.awk index 3567cc2d..781c5730 100644 --- a/dist/checkman.awk +++ b/dist/checkman.awk @@ -46,7 +46,6 @@ BEGIN { Omitman["sh(1)"] = 1 Omitman["ssh(1)"] = 1 Omitman["stty(1)"] = 1 - Omitman["tar(1)"] = 1 Omitman["tex(1)"] = 1 Omitman["unutf(1)"] = 1 Omitman["vnc(1)"] = 1 @@ -83,8 +82,6 @@ BEGIN { Omitman["sin(3)"] = 1 Omitman["strerror(3)"] = 1 - Omitman["factotum(4)"] = 1 # for now leave undocumented - Omitman["core(5)"] = 1 Omitman["passwd(5)"] = 1 |