diff options
Diffstat (limited to 'scripts/rpki')
| -rw-r--r-- | scripts/rpki/Doxyfile | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/scripts/rpki/Doxyfile b/scripts/rpki/Doxyfile index 3ea3b68b..f1cb8362 100644 --- a/scripts/rpki/Doxyfile +++ b/scripts/rpki/Doxyfile @@ -144,14 +144,14 @@ GENERATE_LATEX = NO LATEX_OUTPUT = latex LATEX_CMD_NAME = latex MAKEINDEX_CMD_NAME = makeindex -COMPACT_LATEX = NO -PAPER_TYPE = a4wide +COMPACT_LATEX = YES +PAPER_TYPE = letter EXTRA_PACKAGES = LATEX_HEADER = -PDF_HYPERLINKS = NO -USE_PDFLATEX = NO -LATEX_BATCHMODE = NO -LATEX_HIDE_INDICES = NO +PDF_HYPERLINKS = YES +USE_PDFLATEX = YES +LATEX_BATCHMODE = YES +LATEX_HIDE_INDICES = YES #--------------------------------------------------------------------------- # configuration options related to the RTF output #--------------------------------------------------------------------------- |