push_pep(): Be sure the reST pep.css file gets pushed out too.

2002-08-26 17:02:09 +00:00 · 2002-08-26 17:02:09 +00:00 · 0e918468e6
parent fbceb154cc
commit 0e918468e6
1 changed files with 1 additions and 0 deletions
--- a/pep2html.py
+++ b/pep2html.py
@ -374,6 +374,7 @@ def push_pep(htmlfiles, txtfiles, username, verbose):
    files = htmlfiles[:]
    files.extend(txtfiles)
    files.append("style.css")
+    files.append("pep.css")
    filelist = SPACE.join(files)
    rc = os.system("scp %s %s %s" % (quiet, filelist, target))
    if rc: