debian/docs added