From a2f626ff5826b420a306b341df52f9546d1f71f4 Mon Sep 17 00:00:00 2001 From: Guido van Rossum Date: Mon, 15 Sep 1997 15:39:11 +0000 Subject: [PATCH] Patch by Case Roole to fail with a more explanatory message when the manual directories aren't found. (I have to say I'm surprised that it actually still works!) --- Demo/tkinter/guido/tkman.py | 42 ++++++++++++++++++++++++++++++------- 1 file changed, 35 insertions(+), 7 deletions(-) diff --git a/Demo/tkinter/guido/tkman.py b/Demo/tkinter/guido/tkman.py index 70aaae3e18..84672fc9c1 100755 --- a/Demo/tkinter/guido/tkman.py +++ b/Demo/tkinter/guido/tkman.py @@ -7,15 +7,43 @@ import os import string import regex from Tkinter import * - -import addpack -addpack.addpack('/ufs/guido/src/python/Demo/guido/tkinter') from ManPage import ManPage -MANNDIR = '/usr/local/man/mann' -MAN3DIR = '/usr/local/man/man3' -MANNDIR = '/depot/sundry/man/mann' -MAN3DIR = '/depot/sundry/man/man3' +MANNDIRLIST = ['/depot/sundry/man/mann','/usr/local/man/mann'] +MAN3DIRLIST = ['/depot/sundry/man/man3','/usr/local/man/man3'] + +foundmanndir = 0 +for dir in MANNDIRLIST: + if os.path.exists(dir): + MANNDIR = dir + foundmanndir = 1 + +foundman3dir = 0 +for dir in MAN3DIRLIST: + if os.path.exists(dir): + MAN3DIR = dir + foundman3dir = 1 + +if not foundmanndir or not foundman3dir: + sys.stderr.write('\n') + if not foundmanndir: + msg = """\ +Failed to find mann directory. +Please add the correct entry to the MANNDIRLIST +at the top of %s script.""" % \ +sys.argv[0] + sys.stderr.write("%s\n\n" % msg) + if not foundman3dir: + msg = """\ +Failed to find man3 directory. +Please add the correct entry to the MAN3DIRLIST +at the top of %s script.""" % \ +sys.argv[0] + sys.stderr.write("%s\n\n" % msg) + sys.exit(1) + +del foundmanndir +del foundman3dir def listmanpages(mandir): files = os.listdir(mandir) -- 2.40.0