add a separate bib file for the manual