.github/workflows/recreate_on_push.yaml: Fix PDF breakage

[TRSx80]

Previously I had commented out auto-generation of
PDF (#176), but that
seems to have broken some Actions here, which seem to look for the
PDF.

With this I hope to fix it.

[TRSx80]

Honestly I am not 100% sure how GitHub Actions works, and my Python / YAML not the best, so I would really appreciate some more people looking at this before merging.

[TRSx80]

I am starting to think that I should just undo all this and bring back PDF generation. Maybe some people use it. I did not realize we were actually publishing the produced PDF.

[igorpecovnik]

I have disable Actions automation here since we don't need it anymore. website is generate elsewhere i think.

[TRSx80]

I am abandoning this, because I don't think it was a good idea in the first place.

But in the meantime, I do not think that pushing to docs now will automatically re-generate them. I guess I can test that, but...

website is generate elsewhere i think

Are you sure? I don't think so, at least not based on the error I was looking at from the runner (gone, now that Actions are turned off), as well as observing previous behavior (which seem to update docs site a little while after a merge).

[igorpecovnik]

I do not think that pushing to docs now will automatically re-generate them.

They are generated in cronjob. Every 10 or 15m. Something like that. Not the best, but ... it works.

[TRSx80]

OK I will test. Maybe you are right after all, I did notice there is some delay. But that would be good enough. Thanks.