[latexrefman] * Command line input:: Write text to the terminal.
Karl Berry
karl at freefriends.org
Thu Apr 16 23:12:14 CEST 2020
Subject: [latexrefman] * Command line input:: Write text to the terminal.
Indeed, clearly copied from a previous menu :).
This menu description is confusing. I propose to change it to
«Input LaTeX code from the command line»
Well, it's not really about "input", and it's not really "from" the
command line, either. So I suggest:
* Command line input:: Specify LaTeX code on the command line.
Also, the preceding menu item for "Command line options" is likewise a
stale copy:
* Command line options:: Read text from the terminal.
For this, what comes to mind is:
* Command line options:: Commonly-used command line options.
Thanks,
Karl
More information about the latexrefman
mailing list.