I'd like some suggestions or assistance.
Our tool 'release.py' can generate a block of HTML for the downloads
table for a new release:
[[[
$ release.py write-downloads 1.13.0
<p style=[...]>Apache Subversion 1.13.0</p>
<table class="centered">
[...]
<td><a
href="[preferred]subversion/subversion-1.13.0.tar.bz2">subversion-1.13.0.tar.bz2</a></td>
[...]
</table>
]]]
How can we best insert this into 'downloads.html', at the right place?
So far, in my own tool 'svn-roll.sh' I have used some sed scripting to
search for the "right place" and replace text, but it is fragile and
incomplete: it works only as far as being provides a starting point for
manual editing.
I feel like we want either a scripted generation of the whole
'download.html' from a template, that we can re-run any time anything
changed and be sure it will DTRT; or else use dynamic inclusion within
'download.html' to fetch the relevant portions from somewhere. I feel
offline generation of a static HTML file is what we should prefer these
days. (At least relatively static, regarding inclusion of these tables;
right now I don't care if it will continue to use some dynamic elements
as well, such as CGI for mirror selection.)
Thoughts? Code?
- Julian
