docbook: use IDs as filenames to support multiple books