fix command to make a debian package
Merge pull request #4711 from tgerla/docsfix

fix command to make a debian package