From: Reuben Thomas <rrt@sc3d.org>
Date: Mon, 11 Dec 2017 13:12:19 +0000 (+0100)
Subject: doc: Use better texinfo tags in a few cases.
X-Git-Tag: v1.0~5797
X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=f0480ff835ef5f1da95633b47b3dbaf86acf5a9b;p=gnulib.git

doc: Use better texinfo tags in a few cases.

* doc/gnulib.texi (Extending Gnulib): Use @option or @command
instead of @samp in a few places.
---

diff --git a/ChangeLog b/ChangeLog
index efea3458e0..2ee8ab52a9 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2017-12-11  Reuben Thomas  <rrt@sc3d.org>
+
+	doc: Use better texinfo tags in a few cases.
+	* doc/gnulib.texi (Extending Gnulib): Use @option or @command
+	instead of @samp in a few places.
+
 2017-12-11  Bruno Haible  <bruno@clisp.org>
 
 	unistr/base: Update comment.
diff --git a/doc/gnulib.texi b/doc/gnulib.texi
index 1468c14b5b..76d5720ba7 100644
--- a/doc/gnulib.texi
+++ b/doc/gnulib.texi
@@ -686,21 +686,21 @@ You can add modules of your own, that are not (yet) in Gnulib.
 You can also add unstructured amounts of code to the library, by
 grouping the non-Gnulib files of the library in a single kitchen-sink
 ``module.''  (This kind of kitchen-sink module is not needed when you
-use the @command{gnulib-tool} option @samp{--makefile-name}.)
+use the @command{gnulib-tool} option @option{--makefile-name}.)
 @end itemize
 
 In a release tarball, you can distribute the contents of this
 @option{--local-dir} directory that will be combinable with newer
 versions of Gnulib, barring incompatible changes to Gnulib.
 
-If the @samp{--local-dir=@var{directory}} option is specified, then
+If the @option{--local-dir=@var{directory}} option is specified, then
 @command{gnulib-tool} looks in @file{@var{directory}} whenever it
 reads a file from the Gnulib directory.  Suppose @command{gnulib-tool}
 is looking for @var{file}.  Then:
 
 @itemize @bullet
 @item
-If @file{@var{directory}/@var{file}} exists, then @samp{gnulib-tool} uses
+If @file{@var{directory}/@var{file}} exists, then @command{gnulib-tool} uses
 it instead of the file included in Gnulib.
 
 @item