build: Make pdflatex optional
Also ignore all text files
This commit is contained in:
parent
cf1e49f08d
commit
af5b0bed61
2 changed files with 3 additions and 1 deletions
1
.gitignore
vendored
1
.gitignore
vendored
|
@ -1,3 +1,4 @@
|
|||
*.txt
|
||||
example-message.json
|
||||
*.sqlite
|
||||
*.pcapng
|
||||
|
|
3
build
3
build
|
@ -69,7 +69,8 @@ task_setup() {
|
|||
task_begin "Checking Environment";
|
||||
check_command git true;
|
||||
check_command awk true;
|
||||
check_command pdflatex true;
|
||||
check_command pdflatex true optional;
|
||||
if [[ "$?" -ne "0" ]]; then echo "${HC}pdflatex${RS} is required to render the reports.";
|
||||
check_command bibtex true;
|
||||
task_end $?;
|
||||
|
||||
|
|
Loading…
Reference in a new issue