Fixes #4124: User manual doesn't mention Debian wheezy support
Merge pull request #38 from jooooooon/bug_4124/user_manual_doesn_t_mention_debian_wheezy_support

Fixes #4124: User manual doesn't mention Debian wheezy support