web: don't rely on man/ dir being named as man/