<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">I wanted to add the following entries to the .gitignore file for the Lazarus repo:</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">/docs/html/*.log</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">/docs/html/*.inc<br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">/docs/html/*.xml<br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">They're generated artifacts from building help. </div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">Can I add these? Or, should someone else do that?</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">--</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">Don</div></div>