Section 'Conventions Used in This Manual' now subsection under 'About This Manual'

parent 779695c1
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -528,7 +528,7 @@ contributors, see @ref{Credits}.
@node Manual conventions, History, Manual-info, MySQL and MySQL AB
@subsection Conventions Used in This Manual
@subsubsection Conventions Used in This Manual
This manual uses certain typographical conventions: