/usr/share/man/man4/cc.4.gz obsolete?

From: Trond Endrestøl <Trond.Endrestol_at_fagskolen.gjovik.no>
Date: Fri, 16 Dec 2016 10:31:01 +0100 (CET)
/usr/share/man/man4/cc.4.gz shows up as obsolete whenever I run 
make -C /usr/src check-old.

make -C /usr/src delete-old removes the file, but 
make -C /usr/src installworld adds it.

System is base/head r309889.

Please make up your mind.

-- 
+-------------------------------+------------------------------------+
| Vennlig hilsen,               | Best regards,                      |
| Trond Endrestøl,              | Trond Endrestøl,                   |
| IT-ansvarlig,                 | System administrator,              |
| Fagskolen Innlandet,          | Gjøvik Technical College, Norway,  |
| tlf. mob.   952 62 567,       | Cellular...: +47 952 62 567,       |
| sentralbord 61 14 54 00.      | Switchboard: +47 61 14 54 00.      |
+-------------------------------+------------------------------------+
Received on Fri Dec 16 2016 - 08:31:11 UTC

This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:41:09 UTC