From 60d755a21e86b7700acb64058d556354a7da845d Mon Sep 17 00:00:00 2001 From: Reuben Thomas Date: Sun, 10 Dec 2017 09:10:13 +0000 Subject: [PATCH 1/2] 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 ccb526b..fa5e1d8 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2017-12-10 Reuben Thomas + + 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-10 Pádraig Brady test-faccessat.c: unlink temp file to avoid subsequent test failure diff --git a/doc/gnulib.texi b/doc/gnulib.texi index 1468c14..76d5720 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 @address@hidden option is specified, then +If the @address@hidden option is specified, then @command{gnulib-tool} looks in @address@hidden whenever it reads a file from the Gnulib directory. Suppose @command{gnulib-tool} is looking for @var{file}. Then: @itemize @bullet @item -If @address@hidden/@var{file}} exists, then @samp{gnulib-tool} uses +If @address@hidden/@var{file}} exists, then @command{gnulib-tool} uses it instead of the file included in Gnulib. @item -- 2.7.4