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>

diff --git a/doc/make.texi b/doc/make.texi
index 5a95f0c15b5625b5e2915a6a9e527aa37903562c..a75cf4f14d94f8013a87baba075348a86ebf2a24 100644 (file)
--- 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,