<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-size:small">MatN,</div><div class="gmail_default" style="font-size:small">To verify, I just ran the "translate_manual" script and it produced both the PDF and HTML manuals without failing.<br></div></div><br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
@Phyllis, the default translate_manual script line for the html says<br>
that is what is used for producing the Cinelerra-GG website manual. Is<br>
that indeed the case?<br>
<br>
MatN<br>
-- <br>
Cin mailing list<br>
<a href="mailto:Cin@lists.cinelerra-gg.org" target="_blank">Cin@lists.cinelerra-gg.org</a><br>
<a href="https://lists.cinelerra-gg.org/mailman/listinfo/cin" rel="noreferrer" target="_blank">https://lists.cinelerra-gg.org/mailman/listinfo/cin</a><br>
</blockquote></div></div>