From 95d5fea9fd30819e6ebc0ea3a90120a6c09f37e8 Mon Sep 17 00:00:00 2001
From: Alain Reguera Delgado <alain.reguera@gmail.com>
Date: Aug 05 2011 15:07:37 +0000
Subject: Update `manual.conf' configuration file used to produced documetation

manuals written in Texinfo format.

    - Add `manual_backend' option to list of configurable options.
      Certainly, this option must not be changed. It is there to save
      you from typing `--backend=texinfo' option everytime in the
      command line when more than one documentation backend be
      available and texinfo don't be the one set as default.

    - When documentation manuals be created, the `manual.conf'
      configuration file will be created as part of the creation
      process. The `centos-art.sh' script uses the value of
      `manual_backend' variable, inside the `manual.conf' file to
      determine the documentation backend value to use.

    - Each documentation backend implemented must have its own
      `manual.conf' configuration file to set the `manual_backend'
      variable correctly.


---

diff --git a/Scripts/Functions/Help/Texinfo/Templates/manual.conf b/Scripts/Functions/Help/Texinfo/Templates/manual.conf
index fefcc74..0d5ea92 100755
--- a/Scripts/Functions/Help/Texinfo/Templates/manual.conf
+++ b/Scripts/Functions/Help/Texinfo/Templates/manual.conf
@@ -7,6 +7,11 @@
 
 [main]
 
+# Specify documentation backend used by documentation manual. This is
+# the format used to write documentation manual source files. Possible
+# values to this options are `texinfo'.
+manual_backend = "texinfo"
+
 # Specify title style used by sections inside the manual.  Possible
 # values to this option are `cap-each-word' to capitalize each word in
 # the section title, `cap-first-word' to capitalize the first word in