[latexrefman] * Command line input:: Write text to the terminal.

[Vincent Belaïche]

Done following Karl's suggestion :
http://svn.gnu.org.ua/viewvc/latexrefman?view=rev&revision=794

Le jeu. 16 avr. 2020 à 23:12, Karl Berry <karl at freefriends.org> a écrit :
>
>     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