]> Savannah Git Hosting - gnulib.git/commit
doc: Use better texinfo tags in a few cases.
authorReuben Thomas <rrt@sc3d.org>
Mon, 11 Dec 2017 13:12:19 +0000 (14:12 +0100)
committerBruno Haible <bruno@clisp.org>
Mon, 11 Dec 2017 13:16:46 +0000 (14:16 +0100)
commitf0480ff835ef5f1da95633b47b3dbaf86acf5a9b
treecef5404f00e52f1d2b9a93babe833649804ac602
parent65fc5677a0c95ccdc2d716fc7148978ba0ff35f5
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
doc/gnulib.texi