how to SVN regenerate [ man awk ]

[Ryan Stone]

On Thu, Mar 9, 2017 at 10:00 AM, Jeffrey Bouquet <jbtakk at iherebuywisely.com>
wrote:

> For $giggles$ I svn up /usr/src/usr.bin/awk  or wherever, then
> man awk displays not the newer import per a recent SVN but
> the older 2015 [ it says ] one.  Stale file, or not all parts of
> the man page updated to include latest revision dat, or some
> other command to [g]unzip or whatever, besides 320.whatis
> in periodic--weekly, update the compressed latest installed
> files from /usr/obj to what one expects when one has just
> recompiled the  man page?
>

Any chance that there is an obsolete copy of the manpage in
/usr/share/man/cat1?