Renaming output PDF file

This commit is contained in:
Youen 2023-04-27 18:50:20 +02:00
parent 66d28b0c86
commit 8880664f7c

View File

@ -73,7 +73,7 @@ class Document:
#cmd.append(['rm', self.doc_path + '/build/weasyprint/index.pdf', self.doc_path + '/build/weasyprint/toc.tex', self.doc_path + '/build/weasyprint/toc.pdf', self.doc_path + '/build/weasyprint/GuidedemontageVheliotech.pdf'])
# Copy the generated PDF file to the HTML directory, so that it is accessible for download by users
cmd.append(['cp', self.doc_path + '/build/weasyprint/vheliotech.pdf', self.doc_path + '/build/html/vheliotech.pdf'])
cmd.append(['cp', self.doc_path + '/build/weasyprint/vheliotech.pdf', self.doc_path + '/build/html/guide-de-montage-vheliotech.pdf'])
task = ProcessTask(cmd, cwd = self.doc_path + "/repo")
task.start()