From 5fa0ab1eaf4b9c5645b8eb9900262e8c228699d5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?D=C3=B3nal=20Murray?= Date: Tue, 25 Jul 2023 18:32:44 +0100 Subject: [PATCH] tectonic: add page (#10532) Co-authored-by: Jack Lin Co-authored-by: Lena <126529524+acuteenvy@users.noreply.github.com> --- pages/common/tectonic.md | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 pages/common/tectonic.md diff --git a/pages/common/tectonic.md b/pages/common/tectonic.md new file mode 100644 index 000000000..f524813d1 --- /dev/null +++ b/pages/common/tectonic.md @@ -0,0 +1,28 @@ +# tectonic + +> A modern, self-contained TeX/LaTeX engine. +> More information: . + +- Compile a standalone TeX/LaTeX file: + +`tectonic -X compile {{path/to/file.tex}}` + +- Compile a standalone TeX/LaTeX file with synctex data: + +`tectonic -X compile --synctex {{path/to/file.tex}}` + +- Initialize a tectonic project in the current directory: + +`tectonic -X init` + +- Initialize a tectonic project in the specified directory: + +`tectonic -X new {{project_name}}` + +- Build the project in the current directory: + +`tectonic -X build` + +- Start a watcher to build the project in the current directory on change: + +`tectonic -X watch`