From f0480ff835ef5f1da95633b47b3dbaf86acf5a9b Mon Sep 17 00:00:00 2001 From: Reuben Thomas Date: Mon, 11 Dec 2017 14:12:19 +0100 Subject: [PATCH] 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. --- ChangeLog | 6 ++++++ doc/gnulib.texi | 6 +++--- 2 files changed, 9 insertions(+), 3 deletions(-) diff --git a/ChangeLog b/ChangeLog index efea3458e0..2ee8ab52a9 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2017-12-11 Reuben Thomas + + 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 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 -- 2.39.5