diff options
Diffstat (limited to 'src/files.php')
-rw-r--r-- | src/files.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/files.php b/src/files.php index d8fcba7..e78cfba 100644 --- a/src/files.php +++ b/src/files.php | |||
@@ -51,7 +51,7 @@ function latexToPdf(string $latex_path, string $file_name, string $pdf_path) | |||
51 | unlink($pdf_path . $basename . '.log'); | 51 | unlink($pdf_path . $basename . '.log'); |
52 | } | 52 | } |
53 | 53 | ||
54 | function makeTexAndPdf(Object $Object) | 54 | function makeTexAndPdf(Object $Object) // paramètre = enfant de Latex |
55 | { | 55 | { |
56 | if(get_class($Object) !== 'EnveloppeVersoLatex') | 56 | if(get_class($Object) !== 'EnveloppeVersoLatex') |
57 | { | 57 | { |