debian: add manual