[latexrefman-commits] [SCM] latexrefman updated: r794 - trunk

[vincentb1 at gnu.org.ua]

Author: vincentb1
Date: 2020-04-17 00:19:28 +0300 (Fri, 17 Apr 2020)
New Revision: 794

Modified:
   trunk/ChangeLog
   trunk/latex2e-fr.texi
   trunk/latex2e.texi
Log:
[fr|en] Fix command line menu description.

* latex2e-fr.texi (Command line): Propagate the change in
latex2e.texi.

* latex2e.texi (Command line): Fix menu descriptions, as per
Karl's suggestion ?\226?\128?\148 email of 2020-04-16T14:12:15-07.


Modified: trunk/ChangeLog
===================================================================
--- trunk/ChangeLog	2020-04-16 21:09:16 UTC (rev 793)
+++ trunk/ChangeLog	2020-04-16 21:19:28 UTC (rev 794)
@@ -1,5 +1,13 @@
 2020-04-16  Vincent Belaïche  <vincentb1 at users.sourceforge.net>
 
+	* latex2e.texi (Command line): Fix menu descriptions, as per
+	Karl's suggestion — email of 2020-04-16T14:12:15-07.
+
+	* latex2e-fr.texi (Command line): Propagate the change in
+	latex2e.texi.
+
+2020-04-16  Vincent Belaïche  <vincentb1 at users.sourceforge.net>
+
 	* latex2e-fr.texi (\write18): Fix texinfo compile error.
 	(\write18): Typo.
 	(Command line): Translate node.

Modified: trunk/latex2e-fr.texi
===================================================================
--- trunk/latex2e-fr.texi	2020-04-16 21:09:16 UTC (rev 793)
+++ trunk/latex2e-fr.texi	2020-04-16 21:19:28 UTC (rev 794)
@@ -14743,8 +14743,8 @@
 pour un aperçu de quoi faire.
 
 @menu
-* Command line options::     Lit du texte à partir du terminal.
-* Command line input::       Write text to the terminal.
+* Command line options::     Options usuelles de ligne de commande.
+* Command line input::       Spécifier du code LaTeX sur la ligne de commande.
 * Recovering from errors::   Quand quelque chose se passe mal.
 @end menu
 

Modified: trunk/latex2e.texi
===================================================================
--- trunk/latex2e.texi	2020-04-16 21:09:16 UTC (rev 793)
+++ trunk/latex2e.texi	2020-04-16 21:19:28 UTC (rev 794)
@@ -20103,8 +20103,8 @@
 to do.
 
 @menu
-* Command line options::     Read text from the terminal.
-* Command line input::       Write text to the terminal.
+* Command line options::     Commonly used command line options.
+* Command line input::       Specify LaTeX code on the command line.
 * Recovering from errors::   When something goes wrong.
 @end menu