Blame SOURCES/00001-pydocnogui.patch

8db7d0
diff -up Python-2.7.3/Lib/pydoc.py.no_gui Python-2.7.3/Lib/pydoc.py
8db7d0
--- Python-2.7.3/Lib/pydoc.py.no_gui	2012-04-09 19:07:31.000000000 -0400
8db7d0
+++ Python-2.7.3/Lib/pydoc.py	2013-02-19 13:48:44.480054515 -0500
8db7d0
@@ -19,9 +19,6 @@ of all available modules.
8db7d0
 local machine to generate documentation web pages.  Port number 0 can be
8db7d0
 used to get an arbitrary unused port.
8db7d0
 
8db7d0
-For platforms without a command line, "pydoc -g" starts the HTTP server
8db7d0
-and also pops up a little window for controlling it.
8db7d0
-
8db7d0
 Run "pydoc -w <name>" to write out the HTML documentation for a module
8db7d0
 to a file named "<name>.html".
8db7d0
 
8db7d0
@@ -2346,13 +2340,10 @@ def cli():
8db7d0
     Start an HTTP server on the given port on the local machine.  Port
8db7d0
     number 0 can be used to get an arbitrary unused port.
8db7d0
 
8db7d0
-%s -g
8db7d0
-    Pop up a graphical interface for finding and serving documentation.
8db7d0
-
8db7d0
 %s -w <name> ...
8db7d0
     Write out the HTML documentation for a module to a file in the current
8db7d0
     directory.  If <name> contains a '%s', it is treated as a filename; if
8db7d0
     it names a directory, documentation is written for all the contents.
8db7d0
-""" % (cmd, os.sep, cmd, cmd, cmd, cmd, os.sep)
8db7d0
+""" % (cmd, os.sep, cmd, cmd, cmd, os.sep)
8db7d0
 
8db7d0
 if __name__ == '__main__': cli()