diff options
Diffstat (limited to 'support/texlab/texlab.1')
-rw-r--r-- | support/texlab/texlab.1 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/support/texlab/texlab.1 b/support/texlab/texlab.1 index 7b58ac6af1..7d5e82cd43 100644 --- a/support/texlab/texlab.1 +++ b/support/texlab/texlab.1 @@ -1,7 +1,7 @@ .\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.47.13. -.TH TEXLAB "1" "July 2023" "texlab 5.8.0" "User Commands" +.TH TEXLAB "1" "August 2023" "texlab 5.9.0" "User Commands" .SH NAME -texlab \- manual page for texlab 5.8.0 +texlab \- manual page for texlab 5.9.0 .SH SYNOPSIS .B texlab [\fI\,OPTIONS\/\fR] |