hgbook

diff it/web/genindex.py @ 857:cd492721c0e5

Make sed happy while interacting with HTML entities.
author gpiancastelli
date Sat Aug 22 23:02:23 2009 +0200 (2009-08-22)
parents fc4cf5ddddd4
children 600e7ab15c67
line diff
     1.1 --- a/it/web/genindex.py	Wed Aug 19 19:51:09 2009 +0200
     1.2 +++ b/it/web/genindex.py	Sat Aug 22 23:02:23 2009 +0200
     1.3 @@ -12,7 +12,7 @@
     1.4  fp = open('index-read.html.in', 'w', encoding='utf-8')
     1.5  
     1.6  print('''
     1.7 -<div class="navheader"><h1 class="booktitle">Mercurial: la guida definitiva<div class="authors">di Bryan O&#8217;Sullivan</div></h1></div>
     1.8 +<div class="navheader"><h1 class="booktitle">Mercurial: la guida definitiva<div class="authors">di Bryan O\&#8217;Sullivan</div></h1></div>
     1.9  <div class="book"><ul class="booktoc">''', file=fp)
    1.10  
    1.11  ch = 0
    1.12 @@ -40,6 +40,8 @@
    1.13              else:
    1.14                  num = ch
    1.15                  ch += 1
    1.16 +            if title.find('&') >= 0:
    1.17 +                title = title.replace('&', '\&')
    1.18              ab += 1
    1.19              date = os.popen('hg log -l1 --template "{date|isodate}" ' + c).read().split(None, 1)[0]
    1.20              args = {