debian specific doc update