diff --git a/Manuals/Texinfo/en_US/Directories/trunk/Scripts/Functions/Help.texinfo b/Manuals/Texinfo/en_US/Directories/trunk/Scripts/Functions/Help.texinfo index 359f6ca..5e4f108 100644 --- a/Manuals/Texinfo/en_US/Directories/trunk/Scripts/Functions/Help.texinfo +++ b/Manuals/Texinfo/en_US/Directories/trunk/Scripts/Functions/Help.texinfo @@ -38,11 +38,9 @@ Specifies the documentation system used as backend to manage the repository documentation manual. When this option is not provided, the @samp{texinfo} documentation system is used as default backend. -@quotation -@strong{Redirection} -To know more about documentation backends and their characteristics, -@pxref{Directories trunk Scripts Functions Help Backends}. -@end quotation +To know more about available documentation backends and their +characteristics, @pxref{Directories trunk Scripts Functions Help +Backends}. @item --search="STRING"