Features
Extract Archive
Currently only ZIP files are supported.
This functionality is shown if there is an archive file present in the Production phase.
- get list of files in archive file
- present the list to the user in a modal
- the user selects which file will be the main file
- the archive file is extracted
- the selected file will be added as the main file
- all other files will be added as dependent files
Convert to PDF
This functionality is shown for all files with the extension TEX in the Production phase.
- copy all files to temp file for processing
- execute pdflatex from shell
- check if there is a compiled pdf present:
- if there is a pdf file
- add this file the submission
- add other output files as dependent files (aux, bcf, log, out, run.xml)
- if there is no pdf file, than something went wrong
- add the log file to the submission
- add other output files as dependent files (aux, bcf, out, run.xml)
- if there is a pdf file