Perhaps bizarre question: I installed debian, everything seems to be fine, but bash refuses to recognize the commands "man" and "info" and just returns "command not found". Any explanation? -- birgit kellner department for indian philosophy hiroshima university