diff options
Diffstat (limited to 'doc/Doxyfile')
-rw-r--r-- | doc/Doxyfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/Doxyfile b/doc/Doxyfile index 637b172..e4cb868 100644 --- a/doc/Doxyfile +++ b/doc/Doxyfile @@ -51,3 +51,4 @@ DOC_ABSPATH = BIN_ABSPATH = /usr/local/bin/ EXT_DOC_PATHS = PDF_HYPERLINKS = YES +USE_PDFLATEX = YES |