diff options
| author | Heinrich Schuchardt <[email protected]> | 2020-04-21 12:11:58 +0200 |
|---|---|---|
| committer | Tom Rini <[email protected]> | 2020-04-27 14:55:29 -0400 |
| commit | 38c4f6eb740e576f3d41c8183660c1b3228fc734 (patch) | |
| tree | b46b8e2aa809c3c94f2a08e3707804aa49c8c3a1 /scripts/objdiff | |
| parent | e282c422e0b9a64dc53f7f1e55309639bc645f38 (diff) | |
doc: specify that xelatex is used as Latex engine
Building the pdf documentation on readthedocs.org fails with pdflatex.
Signed-off-by: Heinrich Schuchardt <[email protected]>
Diffstat (limited to 'scripts/objdiff')
0 files changed, 0 insertions, 0 deletions