...or run
man with the
-M option:
man -M/usr/local/share/man 3 ABC,
man -M/usr/local/share/man -s 3 ABC etc. - whichever options your system
man(1) command implements in support of re-directing
man(1) to an alternative location...
A user level that continues to overstate my experience :-))