<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
</head>
<body text="#000000" bgcolor="#FFFFFF">
To make minor customisations of the default style, it is necessary
to unpack the files and edit them, e.g. by putting an include near
the start of each file.<br>
<br>
If I understand rightly, the <finalize> section is executed
for all matches, even if they have already been matched previously.
Am I right here? If this is the case, the include could appear in
the <finalize> section and would override earlier rules.<br>
<br>
It would save unpacking and editing each file if the
<finalize> section always contained an include of a
customisation file, which the user could specify with a command line
option (e.g. --user-custom-style=path). If this did not exist, it
could be ignored or point to a default dummy file.<br>
<br>
Is this a useful and feasible idea?<br>
<br>
Thanks,<br>
<br>
Roger<br>
<br>
<div class="moz-signature">-- <br>
<hr style="width:50%;float:left;"><br>
Roger Calvert<br>
<a href="http://www.rogercalvert.me.uk">http://www.rogercalvert.me.uk</a><br>
<hr style="width:50%;float:left;"></div>
</body>
</html>