build-pdf: Prevent infinite loop in dblatex

pbarill · kjellahl · commit eed01764e06b · 2025-04-27T16:35:58.000+02:00
By default, dblatex goes on an infinite loop if it can't find a font.
diff --git a/tools/tutorial-custom-cmd.py b/tools/tutorial-custom-cmd.py
@@ -112,6 +112,7 @@ def dblatex():
     '-P', 'paper.type=a4paper',
     '-P', 'doc.collab.show=1',
     '-P', 'latex.output.revhistory=0',
+    '-P', 'latex.engine.options="-halt-on-error"',
   ]
 
   cmd = [

Original file line number	Diff line number	Diff line change
`@@ -112,6 +112,7 @@ def dblatex():`
`112`	`112`	`'-P', 'paper.type=a4paper',`
`113`	`113`	`'-P', 'doc.collab.show=1',`
`114`	`114`	`'-P', 'latex.output.revhistory=0',`
	`115`	`+ '-P', 'latex.engine.options="-halt-on-error"',`
`115`	`116`	`]`
`116`	`117`
`117`	`118`	`cmd = [`