Fix empty message box when texdoc is not installed