version 0.2.5

.gitignore

@@ -1,3 +1,4 @@
 *~
 *.sw*
 /*.html
+*.orig

make_site.py

@@ -4,7 +4,7 @@ import os
 import re
 from collections import OrderedDict
 
-CURRENT_VERSION = '0.2.4'
+CURRENT_VERSION = '0.2.5'
 
 PAGES = OrderedDict()
 PAGES['index'] = {'toc': False, 'menu': 'Home', 'dotitle': False}
@@ -110,7 +110,7 @@ def do_page(name):
     if not os.path.isfile(fname):
         raise Exception('no file %s' % fname)
     p = PAGES[name]
-    
+
     body = open(fname).read()
     body = body % {'version': CURRENT_VERSION}
     body = colorize_prompts_in_pre(body)