Fix documentation and otp.mk rules.