diff options
Diffstat (limited to 'support/latexindent/documentation/sec-how-to-use.tex')
-rw-r--r-- | support/latexindent/documentation/sec-how-to-use.tex | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/support/latexindent/documentation/sec-how-to-use.tex b/support/latexindent/documentation/sec-how-to-use.tex index 8c7d9b9556..0760d467ef 100644 --- a/support/latexindent/documentation/sec-how-to-use.tex +++ b/support/latexindent/documentation/sec-how-to-use.tex @@ -317,6 +317,13 @@ latexindent.pl myfile.tex -g other.log if you wish to change the name of this file, simply call the script with your chosen name after the \texttt{-g} switch as demonstrated above. + \announce*{2021-05-07}{log file creation updated} If \texttt{latexindent.pl} can not open the log file that you + specify, then the script will operate, and no log file will be produced; this might be + helpful to users who wish to specify the following, for example + \begin{commandshell} +latexindent.pl -g /dev/null myfile.tex +\end{commandshell} + \flagbox{-sl, --screenlog} \index{switches!-sl, --screenlog definition and details} \begin{commandshell} |