add manual pages for Debian 6.0.10 and Debian 7.7.0