Changes to grep/manual/html_node/Other-Options.html,v

[Jim Meyering]

CVSROOT:        /webcvs/grep
Module name:    grep
Changes by:     Jim Meyering <meyering> 23/05/13 05:23:53

Index: html_node/Other-Options.html
===================================================================
RCS file: /webcvs/grep/grep/manual/html_node/Other-Options.html,v
retrieving revision 1.34
retrieving revision 1.35
diff -u -b -r1.34 -r1.35
--- html_node/Other-Options.html        23 Mar 2023 02:55:21 -0000      1.34
+++ html_node/Other-Options.html        13 May 2023 09:23:53 -0000      1.35
@@ -14,10 +14,10 @@
 Invariant Sections, with no Front-Cover Texts, and with no Back-Cover
 Texts.  A copy of the license is included in the section entitled
 "GNU Free Documentation License". -->
-<title>Other Options (GNU Grep 3.10)</title>
+<title>Other Options (GNU Grep 3.11)</title>
 
-<meta name="description" content="Other Options (GNU Grep 3.10)">
-<meta name="keywords" content="Other Options (GNU Grep 3.10)">
+<meta name="description" content="Other Options (GNU Grep 3.11)">
+<meta name="keywords" content="Other Options (GNU Grep 3.11)">
 <meta name="resource-type" content="document">
 <meta name="distribution" content="global">
 <meta name="Generator" content="makeinfo">