generete error code when error in -to_tex

aryx · aryx · commit 239f362bad50 · 2026-07-02T11:29:06.000+02:00
diff --git a/main/CLI.ml b/main/CLI.ml
@@ -180,7 +180,7 @@ let actions () = [
         (match exn with
         | Failure s | Sys_error s ->
            Logs.err (fun m -> m "syncweb -to_tex: %s" s);
-           ()
+           raise (Exit.ExitCode 2)
         | exn -> raise exn
         )
  );

Original file line number	Diff line number	Diff line change
`@@ -180,7 +180,7 @@ let actions () = [`
`180`	`180`	`(match exn with`
`181`	`181`	`\| Failure s \| Sys_error s ->`
`182`	`182`	`Logs.err (fun m -> m "syncweb -to_tex: %s" s);`
`183`		`- ()`
	`183`	`+ raise (Exit.ExitCode 2)`
`184`	`184`	`\| exn -> raise exn`
`185`	`185`	`)`
`186`	`186`	`);`