ShowDoc: output the appropriate message for the current context