diff options
author | Stefano Lattarini <stefano.lattarini@gmail.com> | 2013-05-05 00:44:41 +0200 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2013-05-05 20:51:05 -0400 |
commit | 7c77486d1fbc820e6db97a5a11fabdc34dbdb729 (patch) | |
tree | 06864a13dbeace59691a8599a14b62696ad57757 | |
parent | 13f13b96b3182cf7569b98c6235675af11a6a3de (diff) | |
download | gunmake-7c77486d1fbc820e6db97a5a11fabdc34dbdb729.tar.gz |
docs: port manual to Texinfo 5.x
* doc/make.texi: Here. It was sufficient to change an '@itemx'
into an '@item'.
Copyright-paperwork-exempt: yes
Signed-off-by: Stefano Lattarini <stefano.lattarini@gmail.com>
-rw-r--r-- | doc/make.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/make.texi b/doc/make.texi index 5a95f0c..a75cf4f 100644 --- a/doc/make.texi +++ b/doc/make.texi @@ -8829,7 +8829,7 @@ from complicated nests of recursive @code{make} commands. rarely need to specify this option since @samp{make} does it for you; see @ref{-w Option, ,The @samp{--print-directory} Option}.) -@itemx --no-print-directory +@item --no-print-directory @cindex @code{--no-print-directory} Disable printing of the working directory under @code{-w}. This option is useful when @code{-w} is turned on automatically, |