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 | { |
