From c8f5aea6be63282d1dc6359a3e9bda9462565ca2 Mon Sep 17 00:00:00 2001 From: albert-github Date: Tue, 23 Jun 2020 14:48:27 +0200 Subject: issue #7865 Update documentation of USE_PDFLATEX option Updated texts to better reflect current situation --- src/config.xml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/config.xml b/src/config.xml index 6a87a0b..7c5a83d 100644 --- a/src/config.xml +++ b/src/config.xml @@ -2756,9 +2756,12 @@ or -- cgit v0.12