When is /boot/menu.rc supposed to updated?

[Trond Endrestøl]

Is it the task of:

1. mergemaster, or
2. make installkernel, or
3. make installworld, or
4. the user by manually copying from /usr/src/sys/boot/forth/menu.rc?

I upgraded a 9.0-STABLE VM yesterday, it was last touched late in 
August last year. The VM previously used CVSup for updating /usr/src, 
but is now using Subversion.

Neither mergemaster nor make installkernel nor make installworld 
detected a new version of menu.rc, not even the change from CVS-Id 
string to the Subversion-Id string.

This a bit strange, but maybe someone can shed some light on this.

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