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

[Trond Endrestøl]

/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.      |
+-------------------------------+------------------------------------+