diff options
author | Stefano Lattarini <stefano.lattarini@gmail.com> | 2013-05-05 20:51:05 -0400 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2013-05-05 20:51:05 -0400 |
commit | 127757adcbc281e3cd1476947bebc9131ae05d27 (patch) | |
tree | 06864a13dbeace59691a8599a14b62696ad57757 /doc | |
parent | c086b5909dc990d5f2866098012feb2d89bccaa8 (diff) | |
download | make-127757adcbc281e3cd1476947bebc9131ae05d27.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>
Diffstat (limited to 'doc')
-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 5a95f0c1..a75cf4f1 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, |