AlternC/debian/docs