From eee1df9e7f7602a6b7a1dd92e3d5b67653b6025c Mon Sep 17 00:00:00 2001 From: Alain Reguera Delgado Date: Jun 02 2011 22:07:13 +0000 Subject: Update repository documentation manual. --- 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 38e3e62..0b0af34 100644 --- a/Manuals/Texinfo/en_US/Directories/trunk/Scripts/Functions/Help.texinfo +++ b/Manuals/Texinfo/en_US/Directories/trunk/Scripts/Functions/Help.texinfo @@ -38,6 +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. +@xref{Directories trunk Scripts Functions Help Backends}, to know more +about documentation backends and their characteristics. + @item --search="STRING" Go to node pointed by index entry @samp{STRING}. @@ -134,9 +137,6 @@ location, are also used to manage specific parts of the manual which have no association outside @file{trunk/Manuals} directory (e.g., Preface, Introduction, etc.). -@xref{Directories trunk Scripts Functions Help Backends}, for more -information about available documentation backends. - @subheading Examples @table @command