fix

2005-07-18 22:25:07 +00:00
parent b5e21a1af8
commit 7b9727890d
1 changed files with 2 additions and 2 deletions
@@ -75,10 +75,10 @@ def doman(*filenameList):
            gzfile.writelines(file(filename).xreadlines())
            gzfile.close()
-            if os.access(filename, os.F_OK):
+            if os.access(filename + '.gz', os.F_OK):
                copy_file(filename + '.gz',
                            os.path.join(destDir,
-                                     os.path.basename(filename)))
+                                     os.path.basename(filename + '.gz')))
 def domove(source, destination):