pages*: make help and version commands comply with the style guide (#12107)

* pages*: use generic word for help

* git: add newline to the end

Co-authored-by: K.B.Dharun Krishna <kbdharunkrishna@gmail.com>

* pages*: make help and version commands comply with the style guide

* java: fix Java name

---------

Co-authored-by: K.B.Dharun Krishna <kbdharunkrishna@gmail.com>
This commit is contained in:
Vitor Henrique
2024-01-30 01:55:24 -03:00
committed by GitHub
parent d0a73c4b9c
commit 46a054215a
175 changed files with 386 additions and 385 deletions

View File

@@ -7,9 +7,9 @@
`tlmgr shell`
- Run any `tlmgr` sub-command in the interactive shell:
- Run any `tlmgr` subcommand in the interactive shell:
`{{sub_command}} {{arguments}}`
`{{subcommand}} {{arguments}}`
- Quit the interactive shell:
@@ -31,6 +31,6 @@
`restart`
- Print the version of the current protocol:
- Display the version of the current protocol:
`protocol`