-
Felix Gruber authored
The manual was missing all citations since `dune_add_latex_document` did not specify the bibtex file to use.
76246d17
The manual was missing all citations since `dune_add_latex_document` did not specify the bibtex file to use.