debian/*.[18]
server/doc/*.[18]
