book filename is replaced by <slug>.pdf in index.html