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 23418dce4c..18919ec9a3 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" "November 2023" "texlab 5.11.0" "User Commands" +.TH TEXLAB "1" "December 2023" "texlab 5.12.0" "User Commands" .SH NAME -texlab \- manual page for texlab 5.11.0 +texlab \- manual page for texlab 5.12.0 .SH SYNOPSIS .B texlab [\fI\,OPTIONS\/\fR] |