85 |
s{[hH][rR][Ee][fF]="\.\./README.html"{href="README.html"{g |
s{[hH][rR][Ee][fF]="\.\./README.html"{href="README.html"{g |
86 |
s{<[aA] [hH][rR][Ee][fF]="\([^"]*\)">\([^<]*\)</a><[bB][rR][^>]*>{<a href="doc/\1">\2</a><br>{ |
s{<[aA] [hH][rR][Ee][fF]="\([^"]*\)">\([^<]*\)</a><[bB][rR][^>]*>{<a href="doc/\1">\2</a><br>{ |
87 |
|
|
88 |
|
s{\(.\)images/{\1doc/images/{g |
89 |
|
s{doc/images/line.png{{ |
90 |
|
|
91 |
/<div id="menu">/,/<.div>/d |
/<div id="menu">/,/<.div>/d |
92 |
/<div id="footer">/i \ |
/<div id="footer">/i \ |
93 |
</div> |
</div> |