Doc: Add GPL logo and minor change.

This commit is contained in:
Pierre-Antoine Rouby committed 2023-09-18 09:55:53 +02:00
1 parent 9f9dd508b1
commit 436f4adaf6
5 files changed
+58 -48

No files matched your search

-32
View File
@@ -17,35 +17,3 @@
# -*- coding: utf-8 -*-
#+LaTeX_CLASS: PamhyrDoc
# Source code blocks
#+LATEX_HEADER: \usepackage{minted}
#+LATEX_HEADER: \usemintedstyle{emacs}
#+LATEX_HEADER: \setminted[c]{fontsize=\footnotesize,encoding=utf8,linenos}
#+LATEX_HEADER: \setminted[c++]{breaklines,fontsize=\footnotesize,encoding=utf8,linenos}
#+LATEX_HEADER: \setminted[shell]{breaklines,fontsize=\footnotesize}
#+LATEX_HEADER: \setminted[python]{breaklines,fontsize=\footnotesize,linenos}
#+LATEX_HEADER: \setminted[scheme]{breaklines,fontsize=\footnotesize}
#+LATEX_HEADER: \setminted[commun-lisp]{breaklines,fontsize=\footnotesize}
#+LATEX_HEADER: \setminted[text]{breaklines,fontsize=\footnotesize}
#+LATEX_HEADER: \setminted[llvm]{breaklines,fontsize=\footnotesize}
#+LATEX_HEADER: \BeforeBeginEnvironment{minted}{\begin{tcolorbox}[boxsep=0pt, left=0.1cm, right=0.1cm, arc=0pt, boxrule=0.5pt, colback=white]}%
#+LATEX_HEADER: \AfterEndEnvironment{minted}{\end{tcolorbox}}%
#+LATEX_HEADER: \makeatletter
#+LATEX_HEADER: \AtBeginEnvironment{minted}{\dontdofcolorbox}
#+LATEX_HEADER: \def\dontdofcolorbox{\renewcommand\fcolorbox[4][]{##4}}
#+LATEX_HEADER: \makeatother
#+LATEX_HEADER: \BeforeBeginEnvironment{verbatim}{\begin{tcolorbox}[boxsep=0pt, left=0.1cm, right=0.1cm, arc=0pt, boxrule=0.5pt, colback=white]}%
#+LATEX_HEADER: \AfterEndEnvironment{verbatim}{\end{tcolorbox}}%
#+LATEX_HEADER: \makeatletter
#+LATEX_HEADER: \AtBeginEnvironment{verbatim}{\dontdofcolorbox}
#+LATEX_HEADER: \def\dontdofcolorbox{\renewcommand\fcolorbox[4][]{##4}}
#+LATEX_HEADER: \makeatother
#+LATEX_HEADER: \verbatimfont{\footnotesize}