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 0b0af34..593aad3 100644 --- a/Manuals/Texinfo/en_US/Directories/trunk/Scripts/Functions/Help.texinfo +++ b/Manuals/Texinfo/en_US/Directories/trunk/Scripts/Functions/Help.texinfo @@ -38,8 +38,11 @@ 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} @xref{Directories trunk Scripts Functions Help Backends}, to know more about documentation backends and their characteristics. +@end quotation @item --search="STRING"