From 0d12211c55cf6e854715aec264e5cb6aab9d7a3f Mon Sep 17 00:00:00 2001
From: Richard van der Hoff <richard@swiftserve.com>
Date: Mon, 12 Aug 2013 12:32:21 +0100
Subject: [PATCH] Assume we are not generating man pages by default.

Set output_formats["MAN"] to "NO", by default, as suggested at
http://www.scons.org/wiki/DoxygenBuilder#Note_added_by_Reinderien. Despite
what the Doxygen docs say, GENERATE_MAN is off by default, and a
browse of the source suggests that it's been that way since at least
2008 / Doxygen 1.5.7.
---
 doxygen.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doxygen.py b/doxygen.py
index 02d055af3..47907fddf 100644
--- a/doxygen.py
+++ b/doxygen.py
@@ -39,7 +39,7 @@ output_formats = {
    "HTML": ("YES", "html", "index", ".html", "HTML_FILE_EXTENSION"),
    "LATEX": ("YES", "latex", "refman", ".tex", ""),
    "RTF": ("NO", "rtf", "refman", ".rtf", ""),
-   "MAN": ("YES", "man", "", ".3", "MAN_EXTENSION"),
+   "MAN": ("NO", "man", "", ".3", "MAN_EXTENSION"),
    "XML": ("NO", "xml", "index", ".xml", ""),
 }