<div dir="ltr"><div>Oh, opps, I forgot that it was called from them.<br></div>I see that the scripts delete and re-checkout plotdictionary.html from svn; couldn't they just do the same with plotdict.xml? I don't see why we would want to stop regenerating plotdictionary.html automatically. <br></div><div class="gmail_extra"><br><div class="gmail_quote">On 3 December 2017 at 05:24, James Paige <span dir="ltr"><<a href="mailto:Bob@hamsterrepublic.com" target="_blank">Bob@hamsterrepublic.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Maybe I should just stop calling update-html.sh at all from the nightly build scripts, and just rely on it being called manually. I think that would be easiest.<div class="HOEnZb"><div class="h5"><br><br>On Saturday, December 2, 2017,  <<a href="mailto:subversion@hamsterrepublic.com" target="_blank">subversion@hamsterrepublic.<wbr>com</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">teeemcee<br>
2017-12-02 04:06:07 -0800 (Sat, 02 Dec 2017)<br>
198<br>
update-html.sh now puts the version and date in plotdict.xmla and the .html file<br>
<br>
(It modifies plotdict.xml, which I guess is a slight nuisance, but does that it<br>
also shows a somewhat sensible date)<br>
---<br>
U   wip/docs/htmlplot.xsl<br>
U   wip/docs/plotdict.xml<br>
U   wip/docs/plotdictionary.html<br>
U   wip/docs/update-html.sh<br>
______________________________<wbr>_________________<br>
Ohrrpgce mailing list<br>
<a>ohrrpgce@lists.motherhamster.<wbr>org</a><br>
<a href="http://lists.motherhamster.org/listinfo.cgi/ohrrpgce-motherhamster.org" target="_blank">http://lists.motherhamster.org<wbr>/listinfo.cgi/ohrrpgce-motherh<wbr>amster.org</a><br>
</blockquote>
</div></div><br>______________________________<wbr>_________________<br>
Ohrrpgce mailing list<br>
<a href="mailto:ohrrpgce@lists.motherhamster.org">ohrrpgce@lists.motherhamster.<wbr>org</a><br>
<a href="http://lists.motherhamster.org/listinfo.cgi/ohrrpgce-motherhamster.org" rel="noreferrer" target="_blank">http://lists.motherhamster.<wbr>org/listinfo.cgi/ohrrpgce-<wbr>motherhamster.org</a><br>
<br></blockquote></div><br></div>