From 5e827642e9ffba92d3e3989b0c978db553109061 Mon Sep 17 00:00:00 2001
From: Stephane Del Pino <stephane.delpino44@gmail.com>
Date: Thu, 27 Feb 2025 08:14:38 +0100
Subject: [PATCH] Foce the use of minted2 for doc user doc pdf generation
Now the default minted is "minted3" which is far to rigid for security
reasons...
We will keep on minted2 forever
---
doc/lisp/build-doc-config.el | 6 +-----
doc/userdoc.org | 2 +-
2 files changed, 2 insertions(+), 6 deletions(-)
diff --git a/doc/lisp/build-doc-config.el b/doc/lisp/build-doc-config.el
index ee9826245..0dbe8794b 100644
--- a/doc/lisp/build-doc-config.el
+++ b/doc/lisp/build-doc-config.el
@@ -48,10 +48,7 @@
'(org-html-validation-link nil)
'(org-src-fontify-natively t)
'(org-html-htmlize-output-type 'css)
- '(org-latex-listings 'minted))
-
-(setq org-latex-minted-options
- '(("linenos=true") ("breaklines") ("autogobble")))
+ )
(defun org-export-output-file-name-modified (orig-fun extension &optional subtreep pub-dir)
(unless pub-dir
@@ -62,7 +59,6 @@
(advice-add 'org-export-output-file-name :around #'org-export-output-file-name-modified)
(setq org-latex-listings 'minted
- org-latex-packages-alist '(("" "minted"))
org-latex-pdf-process
'("cd ${PUGS_BINARY_DIR}/doc; ./build-userdoc-pdf.sh"))
diff --git a/doc/userdoc.org b/doc/userdoc.org
index cca6363ed..ab88c8dbe 100644
--- a/doc/userdoc.org
+++ b/doc/userdoc.org
@@ -31,7 +31,7 @@
#+LATEX_HEADER_EXTRA: \usepackage{mdframed}
#+LATEX_HEADER_EXTRA: \usepackage{mathpazo}
#+LATEX_HEADER_EXTRA: \usepackage{inconsolata}
-
+#+LATEX_HEADER_EXTRA: \IfFileExists{minted2.sty}{\usepackage{minted2}}{\usepackage{minted}}
#+LATEX_HEADER_EXTRA: %Patch accsupp to avoid copying line numbers when copying from listing
#+LATEX_HEADER_EXTRA: \usepackage{accsupp}
#+LATEX_HEADER_EXTRA: \newcommand\emptyaccsupp[1]{\BeginAccSupp{ActualText={}}#1\EndAccSupp{}}
--
GitLab