Dies ist die Lösung: Wenn $ MANPATH gesetzt ist, werden die Standardpfade für manuelle Seiten überschrieben. Wenn Sie $ MANPATH deaktivieren, wird der Standardpfad angezeigt. Führen Sie einfach den Befehl "manpath" aus:
/usr/local/share/man:/usr/share/man/en:/usr/share/man:/usr/man:/usr/local/man
Der Inhalt von /etc/profile.d/man.sh ist ebenfalls korrekt, da ein führender Doppelpunkt in der $ MANPATH-Variablen das Überschreiben des Standard-Manpath verhindert! Dies ist die eigentliche Lösung für mein Problem, da ein Umgebungsmodul der $ MANPATH-Variablen einen manuellen Pfad ohne den führenden Doppelpunkt vorangestellt hat und daher standardmäßig keine Manpages mehr verfügbar waren.