]> git.phdru.name Git - phdru.name/phdru.name.git/blobdiff - dotfiles2html/dotfiles2html.py
Added .pdbrc and pdbrc.py.
[phdru.name/phdru.name.git] / dotfiles2html / dotfiles2html.py
index 8952fe862931ed14f0aeff1672eb3ecfe5444e8d..5ef24c12fcc94b6b49359ae6102b1c09ccba35ad 100755 (executable)
@@ -47,11 +47,12 @@ def add_headers(fname, prev, next):
    html_file.close()
 
 
-file_types = (("fvwm2rc", "fvwm"),
+file_types = (("fvwm2rc", "fvwm2m4"),
       ("mailcap", "conf"), ("mime.types", "conf"),
       ("muttrc", "muttrc"), ("procmailrc", "procmail"),
       ("vimrc", "vim"), ("gvimrc", "vim"),
-      ("init.py", "python"), ("init_old.py", "python"))
+      ("init.py", "python"), ("init_old.py", "python"),
+      ("pdbrc", "python"), ("pdbrc.py", "python"))
 ft_len = len(file_types)
 
 for i, (fname, ftype) in enumerate(file_types):
@@ -69,8 +70,8 @@ for i, (fname, ftype) in enumerate(file_types):
       else:
          next = file_types[i+1][0]
       add_headers(fname, prev, next)
-      if not filecmp.cmp(fname + ".html", fname + ".tmpl"):
-         os.rename(fname + ".html", fname + ".tmpl")
-      else:
+      if os.path.exists(fname + ".tmpl") and filecmp.cmp(fname + ".html", fname + ".tmpl"):
          os.remove(fname + ".html")
+      else:
+         os.rename(fname + ".html", fname + ".tmpl")
       os.chmod(fname, 0644)