Re: This PHP Manual build is broken

On 10.12.2020 at 14:57, André L F S Bacci wrote: > On Thu, Dec 10, 2020 at 1:41 PM Christoph M. Becker <cmbecker69@gmx.de> > wrote: > >> On 10.12.2020 at 14:23, André L F S Bacci wrote: >> >>> On Thu, Dec 10, 2020 at 12:41 PM Christoph M. Becker <cmbecker69@gmx.de> >>> wrote: >>> >>>> Isn't that fixed with >>>> >>>> <http://svn.php.net/viewvc?view=revision&revision=351991>? >>>> Was that >>>> just a glitch of the docs builder? >>>> >>> >>> In my machine, an svn update generated a conflict on en/reference/stats. >>> After marking the conflict resolved, and after deleting the entire >>> en/reference, an svn update does not recreate the en/reference/stats >>> directory. So it's probably a SVN glitch. >> >> Hmm, I just did a fresh en checkout, and the en/reference/stats >> directory is there. >> > > A fresh checkout worked here too. This would be necessary on the build > machine. The issue appears to be resolved somehow. Christoph