diff options
author | Norbert Preining <norbert@preining.info> | 2022-06-13 03:03:42 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2022-06-13 03:03:42 +0000 |
commit | ef6d63ded56fb892decaa8ab41d7deebbe670473 (patch) | |
tree | 9c8eccf2e633fcfe0ad512e5428222ce0707971e /support/texlab/texlab.tex | |
parent | 86d0c4c6729cfb43e13fb29790810c3cc2521806 (diff) |
CTAN sync 202206130303
Diffstat (limited to 'support/texlab/texlab.tex')
-rw-r--r-- | support/texlab/texlab.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/support/texlab/texlab.tex b/support/texlab/texlab.tex index 7faff8b122..632325bbc5 100644 --- a/support/texlab/texlab.tex +++ b/support/texlab/texlab.tex @@ -72,7 +72,7 @@ There are various ways to install TexLab: \subsection{Options} \begin{itemize} - \item \texttt{--log-file <FILE>} WRite the logging output to \texttt{FILE} + \item \texttt{--log-file <FILE>} Write the logging output to \texttt{FILE} \end{itemize} \end{document}
\ No newline at end of file |