mirror of
https://jihulab.com/mr-one/openpilot.git
synced 2026-10-27 21:13:42 +08:00
github-actions[bot]
f8e13417f2
date: 2026-08-15T14:20:10 master commit: d48cfa730bf21593b684efeaf3fd8940695e1dea
11 lines
196 B
Bash
Executable File
11 lines
196 B
Bash
Executable File
#!/bin/bash
|
|
set -e
|
|
|
|
if ! command -v tectonic &>/dev/null; then
|
|
echo "tectonic not found, installing..."
|
|
sudo pacman -S --noconfirm tectonic
|
|
fi
|
|
|
|
tectonic tinyspec.tex
|
|
echo "done: tinyspec.pdf"
|