From ad53cbab6474e11692f2ca1018a821d042df28e6 Mon Sep 17 00:00:00 2001 From: albert-github Date: Wed, 4 Mar 2015 18:58:55 +0100 Subject: [PATCH] Bug 659590 - EXTRA_PACKAGES can't handle package options Create the possibility to specify options with the EXTRA_PACKAGES command. It is possible to specify the package by just its name or in the syntax as required by the LaTeX \usepackage command ([]{}[]) --- src/config.xml | 15 ++++++++++++--- 1 file changed, 12 insertions(+), 3 deletions(-) diff --git a/src/config.xml b/src/config.xml index 726183c6197..92da3cab5fe 100644 --- a/src/config.xml +++ b/src/config.xml @@ -2492,10 +2492,19 @@ EXTRA_SEARCH_MAPPINGS = tagname1=loc1 tagname2=loc2 ...