<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small"><span style="font-family:Arial,Helvetica,sans-serif">>> I wanted to add the following entries to the .gitignore file for the</span><br style="font-family:Arial,Helvetica,sans-serif"><span style="font-family:Arial,Helvetica,sans-serif">>> Lazarus repo:</span><br style="font-family:Arial,Helvetica,sans-serif"><span style="font-family:Arial,Helvetica,sans-serif">>></span><br style="font-family:Arial,Helvetica,sans-serif"><span style="font-family:Arial,Helvetica,sans-serif">>> /docs/html/*.log</span><br style="font-family:Arial,Helvetica,sans-serif"><span style="font-family:Arial,Helvetica,sans-serif">>> /docs/html/*.inc</span><br style="font-family:Arial,Helvetica,sans-serif"><br style="font-family:Arial,Helvetica,sans-serif"><span style="font-family:Arial,Helvetica,sans-serif">> Can there be any subdirectories in /docs/html?</span></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">Yes, when you install HTML help locally.</div><div class="gmail_default" style="font-size:small"><font face="arial, helvetica, sans-serif"><br></font></div><div class="gmail_default" style="font-size:small"><font face="arial, helvetica, sans-serif">/docs/html/lcl/</font></div><div class="gmail_default" style="font-size:small"><font face="arial, helvetica, sans-serif">/docs/html/lazutils/</font></div><div class="gmail_default" style="font-size:small"><font face="arial, helvetica, sans-serif"><br></font></div><div class="gmail_default" style="font-size:small"><font face="arial, helvetica, sans-serif">But they are not needed in the repository, as they are entirely generated too.</font></div><div class="gmail_default" style="font-size:small"><br style="font-family:Arial,Helvetica,sans-serif"><span style="font-family:Arial,Helvetica,sans-serif">>> /docs/html/*.xml</span></div><div class="gmail_default" style="font-size:small"><br style="font-family:Arial,Helvetica,sans-serif"><span style="font-family:Arial,Helvetica,sans-serif">> Are you sure about XML ones? There are committed useful ones already.</span></div><div class="gmail_default" style="font-size:small"><br></div><div class="gmail_default" style="font-size:small">The current script files regenerate the XML files entirely. They have version number (commit SHA) and date information.So they will always be different than the repo version. </div><div class="gmail_default" style="font-size:small"><br></div><div class="gmail_default" style="font-size:small">They should be removed after the HTML help is archived. I  left them laying around to check out the content. But in reality, they can be deleted. Adding them to .gitignore was a precaution.<br style="font-family:Arial,Helvetica,sans-serif"><br style="font-family:Arial,Helvetica,sans-serif"><span style="font-family:Arial,Helvetica,sans-serif">>> Can I add these? Or, should someone else do that?</span><br style="font-family:Arial,Helvetica,sans-serif"><br style="font-family:Arial,Helvetica,sans-serif"><span style="font-family:Arial,Helvetica,sans-serif">> Yes, you can. .gitignore already contains entries for /docs/chm directory.</span><br></div><div class="gmail_default" style="font-size:small"><span style="font-family:Arial,Helvetica,sans-serif"><br></span></div><div class="gmail_default" style="font-size:small"><span style="font-family:Arial,Helvetica,sans-serif">Thank you.</span></div><div class="gmail_default" style="font-size:small"><br></div><div class="gmail_default" style="font-size:small">--</div><div class="gmail_default" style="font-size:small"><span style="font-family:Arial,Helvetica,sans-serif">Don</span></div></div>