From 38ccddfc3dd849207597dcaf10d68963971f2b52 Mon Sep 17 00:00:00 2001
From: Alain Reguera Delgado <alain.reguera@gmail.com>
Date: Jul 22 2011 15:16:52 +0000
Subject: Update `manual.conf' file used to build documentation manuals written

in texinfo format:

    - Don't define documentation backend here. Let this for
      command-line options.


---

diff --git a/Scripts/Functions/Help/Texinfo/Templates/manual.conf b/Scripts/Functions/Help/Texinfo/Templates/manual.conf
index 39904f6..cccab02 100755
--- a/Scripts/Functions/Help/Texinfo/Templates/manual.conf
+++ b/Scripts/Functions/Help/Texinfo/Templates/manual.conf
@@ -7,11 +7,6 @@
 
 [main]
 
-# Specify the documentation backend used to write manual's source
-# files. Possible values to this option are `texinfo' and `docbook'
-# (which is still unsupported).
-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